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