Normality-comparable subgroup

Symbol-free definition
A subgroup of a group is termed normality-comparable if given any normal subgroup, either the given subgroup is contained in the normal subgroup, or the normal subgroup is contained in it.

Definition with symbols
A subgroup $$H$$ of a group $$G$$ is termed normality-comparable if given any normal subgroup $$N \triangleleft G$$, either $$N \le H$$ or $$H \le N$$.

Related group properties

 * Normal-comparable group: A group in which every normal subgroup is normality-comparable