Assertion: rotation | /r/HasProperty | direct isometry
Facets:
Source sentences:
text: We can derive the algebraic conditions from the geometric statement that a rotation is a direct isometry leaving one point fixed.
text: Rotations are direct isometries, i.e., isometries preserving orientation.