# Metric map

A continuous function between two metric spaces that does not increase distance, i.e.

$d(f(x),f(y) \le d(x,y)$ with $f: X \to Y$.

There are many names for this concept: metric map, nonexpansive map, Lipschitz map with constant $K=1$, short map, weak contraction, nonexpanding map.