 Non-expansive map

A non-expansive map between metric spaces is a function $f$ such that $d(fx,fy)\le d(x,y)$.