Non-expansive map (source code)

= Non-expansive map
{wiki=Lipschitz_continuity}

A non-expansive map between <metric space>[metric spaces] is a function $f$ such that $d(fx,fy)\leq d(x,y)$.