Mathematicians say that a map f: (X, \rho_x) —> X between metric spaces is a contraction if it brings points closer together. If a contraction is sufficiently strong, it is known to have a fixed point, or a point such that f(x) = x.