Assertion: abelian group's element | /r/HasProperty | extended to group
Facets:
Source sentences:
text: This means that the cancellative elements of any commutative monoid can be extended to a group.