subgroup

noun

1.
a distinct and often subordinate group within a group
2.
(mathematics) a subset (that is not empty) of a mathematical group