Assertion: abelian group's element | /r/HasProperty | appeared in one of these cosets
Facets:
Source sentences:
text: Since all the elements of G have now appeared in one of these cosets, generating any more can not give new cosets, since a new coset would have to have an element in common with one of these and therefore be identical to one of these cosets.