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