Assertion: abelian group's subgroup | /r/HasProperty | h of infinite cardinality
Facets:
Source sentences:
text: For example, the index of H in G may be countable or uncountable, depending on whether H has a countable number of cosets in G. Note that the index of H is at most the order of G, which is realized for the trivial subgroup, or in fact any subgroup H of infinite cardinality less than that of G.