Contranormal subgroup

In group theory, a **contranormal subgroup** is a type of subgroup with a particular relationship to normal subgroups and normality conditions in a larger group.