Assertion: algebra's v | /r/HasProperty | abelian group
Facets:
value: under addition
type: OTHER
Source sentences:
text: The first four axioms mean that V is an abelian group under addition.