Assertion: abelian group's element | /r/HasProperty | finite sum of elements of s.
Facets:
Source sentences:
text: The set S is said to be a semigroup generating set of G if each element of G is a finite sum of elements of S. Similarly, a set S is said to be a monoid generating set of G if each non-zero element of G is a finite sum of elements of S.