Definition: Isometry

Let and be metric spaces.

An isometry or distance-preserving map from to is a function such that for all