Nilpotent pronormal subgroup

Definition
A subgroup of a group is termed a nilpotent pronormal subgroup if it is nilpotent as a group and pronormal as a subgroup.

Stronger properties

 * Weaker than::Sylow subgroup

Weaker properties

 * Stronger than::Group generated by nilpotent pronormal subgroups