Assertion: abelian group's element | /r/CapableOf | form group
Facets:
Source sentences:
text: and h 1 −1, so the elements of H, equipped with the group operation on G restricted to H, indeed form a group.