Assertion: isometry's point | /r/HasProperty | orthogonal group
Facets:
Source sentences:
text: all isometries that keep the origin fixed, or more generally, some point (the orthogonal group)