Mathematical term: a subset of a group that is itself a group under the same operation.
Consider a subgroup H of the group G.
This set satisfies the conditions for a subgroup.
Compound of 部分 (bubun, 'part') and 群 (gun, 'group'), a direct translation of the mathematical term 'subgroup'.