Group in which every subgroup is pronormal

Definition
A group in which every subgroup is pronormal is a group satisfying the condition that every defining ingredient::pronormal subgroup of the group is a defining ingredient::normal subgroup.

Stronger properties

 * Weaker than::Abelian group
 * Weaker than::Dedekind group

Weaker properties

 * Stronger than::Group in which every weakly pronormal subgroup is pronormal
 * Stronger than::T*-group
 * Stronger than::T-group