Hall subgroup of normal subgroup

Definition
A subgroup of a finite group is termed a Hall subgroup of normal subgroup if it can be expressed as a Hall subgroup of a normal subgroup.

Stronger properties

 * Weaker than::Intersection of Hall subgroup and normal subgroup
 * Weaker than::Sylow subgroup of normal subgroup

Weaker properties

 * Stronger than::Paranormal subgroup
 * Stronger than::Polynormal subgroup
 * Stronger than::Intermediately subnormal-to-normal subgroup