Subgroup

A subset of Group elements which satisfies the four Group requirements. The Order of any subgroup of a Group Order $h$ must be a Divisor of $h$.

See also Cartan Subgroup, Composition Series, Fitting Subgroup, Group