Assertion: abelian group's subgroup | /r/HasProperty | a subgroup h
Facets:
Source sentences:
text: A proper subgroup of a group G is a subgroup H which is a proper subset of G (that is, H ≠ G).