Finite characteristic subgroup

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

Stronger properties

 * Weaker than::Finite fully invariant subgroup
 * Weaker than::Characteristic subgroup of finite group

Weaker properties

 * Stronger than::Finite normal subgroup