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