Assertion: direct isometry | /r/HasProperty | some point
Facets:
Source sentences:
text: Non-countable groups, where for all points the set of images under the isometries is closed e.g.: all direct isometries that keep the origin fixed, or more generally, some point (in 3D called the rotation group)