Metric Space: Isometry
An isometry is a surjective mapping

, where

and

are metric spaces and for all

,

.
In this case,

and

are said to be isometric.
Note that the injectivity of

follows from the property of preserving distance:




So an isometry is necessarily bijective.