MathGloss

A subset HGH\subset G of the group GG is a subgroup of GG if it is itself a group under the operation inherited from GG.

The subgroup axioms are

Wikidata ID: Q466109