Assertion: linear isometry | /r/HasProperty | global isometries
Facets:
Source sentences:
text: They are global isometries if and only if they are surjective.