metric map

Also known as 1-Lipschitz map, non-expanding map, nonexpanding map, weak contractions, short map

function between metric spaces that does not increase any distance