Assertion: abelian group's element | /r/HasProperty | vector
Facets:
Source sentences:
text: The elements (vectors) of a vector space form an abelian group under vector addition.