Assertion: abelian group's subgroup | /r/HasProperty | any element
Facets:
Source sentences:
text: Let be a subgroup of and be any element of .
text: Let be a subgroup of and be any element of .