MathGloss

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

The subgroup axioms are

Wikidata ID: Q466109