Subnormal subgroup of finite group

Symbol-free definition
A subgroup of a group is termed a subnormal subgroup of finite group if the whole group is a finite group and the subgroup is a subnormal subgroup of it.

Stronger properties

 * Weaker than::Normal subgroup of finite group

Weaker properties

 * Stronger than::Finite subnormal subgroup
 * Stronger than::Subnormal subgroup of finite index
 * Stronger than::Join-transitively subnormal subgroup