Assertion: abelian group's element | /r/HasProperty | some power
Facets:
Source sentences:
text: Namely, we have $G=\langle g \rangle$ (every element in $G$ is some power of $g$.)