Intermediately normal-to-complemented subgroup

Symbol-free definition
A subgroup of a group is termed intermediately normal-to-complemented if it satisfies the following equivalent conditions:


 * It is a defining ingredient::complemented normal subgroup inside its defining ingredient::normalizer.
 * It is a defining ingredient::lattice-complemented subgroup inside its normalizer.
 * It is a defining ingredient::permutably complemented subgroup inside its normalizer.
 * It is a complemented normal subgroup inside any intermediate subgroup in which it is a normal subgroup.

Stronger properties

 * Weaker than::Permuting transfer-closed normal-to-complemented subgroup