Assertion: abelian group's element | /r/CapableOf | behave like commutative group
Facets:
Source sentences:
text: (-B)$. Finally, introduce relations (i.e. define the set of equivalence classes of sums) saying that these elements and sums behave like a commutative group; for example, $A + B + D + (-B)