Die Abbildung f {\displaystyle {}f} heißt stark kontrahierend, wenn es eine nichtnegative reelle Zahl c < 1 {\displaystyle {}c<1} gibt mit
für alle x , y ∈ L {\displaystyle {}x,y\in L} .