Assertion: abelian group's element | /r/HasProperty | the sum of elements
Facets:
value: from one finite subset
type: OTHER
Source sentences:
text: A commutative group where every element is the sum of elements from one finite subset