subgroup

C17168 concept

A subgroup is a subset of a group that is itself a group under the same binary operation, containing the identity, inverses, and being closed under the operation.

Observed surface forms (9)

Instances (14)