Assertion: isometry's image | /r/HasProperty | compact
Facets:
value: respectively
type: DEGREE
Source sentences:
text: This image is compact, so we can extract a finite subcover.
text: The image of every compact set under a continuous function is compact, and the image of every connected set under a continuous function is connected.
text: Isometries are always injective; the image of a compact or complete set under an isometry is compact or complete, respectively.