Assertion: abelian group's element | /r/HasProperty | thought as signed multisets
Facets:
value: alternatively
type: DEGREE
Source sentences:
text: Alternatively, the elements of a free abelian group may be thought of as signed multisets containing finitely many elements of B, with the multiplicity of an element in the multiset equal to its coefficient in the formal sum.