Отображение f: X → X называется сжимающим, если существует такое число a ∈ [0,1), что для любых x, y ∈ X выполняется следующее неравенство:
d(f(x), f(y)) ≤ a ⋅ d(x, y).
Число a при этом называется коэффициентом сжатия.
Примеры: