Ας είναι ένας πεπερασμένος μετρικός χώρος. Αυτό σημαίνει ότι για κάθε δύο σημεία
έχει οριστεί μια θετική “απόσταση”
ανάμεσά τους, και οι αποστάσεις αυτές πληρούν την τριγωνική ανισότητα
, για κάθε
.
Κατασκευάστε μια 1-1 συνάρτηση τέτοια ώστε για κάθε
να ισχύει
όπου , για
.