A subset H⊂GH\subset GH⊂G of the group GGG is a subgroup of GGG if it is itself a group under the operation inherited from GGG.
The subgroup axioms are
Wikidata ID: Q466109