Category:Definitions/Weakly Pronormal Subgroups