Es sei

${\displaystyle f\colon L\longrightarrow M,\,x\longmapsto f(x),}$

eine Abbildung zwischen den metrischen Räumen ${\displaystyle {}L}$ und ${\displaystyle {}M}$. Dann heißt ${\displaystyle {}f}$ stark kontrahierend, wenn es eine nichtnegative reelle Zahl ${\displaystyle {}c<1}$ gibt mit

${\displaystyle {}d{\left(f(x),f(y)\right)}\leq c\cdot d{\left(x,y\right)}\,}$

für alle ${\displaystyle {}x,y\in L}$.