Finite fully invariant subgroup

Definition
A subgroup of a group is termed a finite fully invariant subgroup if it is finite as a group and is a fully invariant subgroup of the whole group.

Stronger properties

 * Weaker than::Fully invariant subgroup of finite group

Weaker properties

 * Stronger than::Finite strictly characteristic subgroup
 * Stronger than::Finite injective endomorphism-invariant subgroup
 * Stronger than::Finite characteristic subgroup
 * Stronger than::Finite normal subgroup