A subsemigroup which is also a group is called a subgroup .

• 也是群的子半群叫做子群 。