Assertion: algebra's operation | /r/HasProperty | involution
Facets:
Source sentences:
text: It is then immediate that this operation is an involution that reverses maps—