Finite subnormal subgroup

Definition
A subgroup of a group is termed a finite subnormal subgroup if it is finite as a group and subnormal as a subgroup.

Related properties

 * Subnormal subgroup of finite index

Facts

 * Join of two finite subnormal subgroups is subnormal