Assertion: abelian group's element | /r/HasAspect | additive inverse
Facets:
value: equivalently
type: DEGREE
Source sentences:
text: In the opposite direction, a zerosumfree monoid is an additively written monoid in which a + b = 0 implies that a = 0 and b = 0: equivalently, that no element other than zero has an additive inverse.