metric map

function between metric spaces that does not increase any distance

Categories: