Assertion: abelian group's subgroup | /r/HasProperty | the set of its powers
Facets:
value: precisely
type: MANNER
Source sentences:
text: The second and third definition are equivalent because the subgroup generated by an element is precisely the set of its powers.