metric map

function between metric spaces that does not increase any distance

Categorie: