Assertion: abelian group's basis | /r/HasProperty | subset
Facets:
Source sentences:
text: A basis is a subset such that every element of the group can be uniquely expressed as a linear combination of basis elements with integer coefficients.