(noun.) (mathematics) a subset (that is not empty) of a mathematical group.
(noun.) a distinct and often subordinate group within a group.
安娜贝尔整理