Assertion: isometry's image | /r/HasProperty | complete
Facets:
value: respectively
type: DEGREE
Source sentences:
text: Isometries are always injective; the image of a compact or complete set under an isometry is compact or complete, respectively.