Assertion: abelian group | /r/HasProperty | structure
Facets:
Source sentences:
text: An abelian group is a structure