Assertion: abelian group's element | /r/HasProperty | cardinality
Facets:
Source sentences:
text: Cosets (of either type) have the same number of elements (cardinality) as does H. Furthermore, H itself is a coset, which is both a left coset and a right coset.