Thus a subgroup of a group is a subset on which the binary product and the unary operation of inversion satisfy the closure axiom.

• 所以群的子群是在其上二元乘法和一元逆运算满足闭包公理的子集。