Assertion: abelian group's element | /r/HasProperty | a non-generator
Facets:
Source sentences:
text: An element x of the group G is a non-generator if every set S containing