Finite elliptic subgroup

Definition
A subgroup of a group is termed a finite elliptic subgroup if it is a defining ingredient::finite subgroup (i.e., is a finite group in its own right) and is an elliptic subgroup of the whole group.

Weaker properties
Insert non-formatted text here