Assertion: isometry's point | /r/HasProperty | mapped to same point
Facets:
Source sentences:
text: An isometry is automatically injective; otherwise two distinct points, a and b, could be mapped to the same point, thereby contradicting the coincidence axiom of the metric