Permutable subgroup of normal subgroup

Symbol-free definition
A subgroup of a group is termed a permutable subgroup of normal subgroup if it is expressible as a permutable subgroup of a normal subgroup of the whole group.

Stronger properties

 * Weaker than::Normal subgroup
 * Weaker than::Permutable subgroup
 * Weaker than::2-subnormal subgroup

Weaker properties

 * Stronger than::Automorph-permutable subgroup of normal subgroup
 * Stronger than::Conjugate-permutable subgroup
 * Subnormal subgroup in case of a finite group.