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