Let $(X,\rho)$ be a metric space. Then a function $f:X\to X$ is a contraction mapping if there exists $r \in [0,1)$ such that for all $x,y \in x$, \(\rho(f(x),f(y)) \leq r\rho(x,y).\)
Wikidata ID: Q515173