subgroup - (mathematics) a subset (that is not empty) of a mathematical group

Abelian group, commutative group - a group that satisfies the commutative law

set - (mathematics) an abstract collection of numbers or symbols; "the set of prime numbers is infinite"