Assertion: isometry | /r/CapableOf | act on arbitrary set
Facets:
Source sentences:
text: Otherwise, if the isometry acts on an arbitrary set, then it is taken as the definition of congruence; in other words, two sets are congruent if there is an isometry between them.