Perfect subnormal subgroup

Definition
A subgroup of a group is termed a perfect subnormal subgroup if it is perfect as a group and subnormal as a subgroup.

Weaker properties

 * Stronger than::Join-transitively subnormal subgroup
 * Stronger than::Subnormal-permutable subnormal subgroup