Let $(X,d)$ be a \reftext{def:metric-space-2026a}{metric space}, and let $T:X\to X$ be a map. We say that $T$ is a contraction if there exists a real number $\lambda$ satisfying

such that

for every $x,y\in X$.