Characteristic normal subloop

Definition
A subloop of a loop is termed a characteristic normal subloop if it is both a defining ingredient::characteristic subloop and a defining ingredient::normal subloop of the loop.