Assertion: order | /r/HasProperty | the subgroup
Facets:
Source sentences:
text: The order of an element a is equal to the order of its cyclic subgroup ⟨a⟩ = {ak for k an integer}, the subgroup generated by