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