Assertion: abelian group's element | /r/HasProperty | equipped with the group operation
Facets:
value: on g
type: LOCATION
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.