Assertion: abelian group's element | /r/IsA | torsion
Facets:
Source sentences:
text: An element of an abelian group A is classified as torsion if its order is finite.