Finite subgroup

Definition
A subgroup of a group is termed a finite subgroup if, as a group by itself, it is a defining ingredient::finite group.