Por ejemplo, si "(M,d)" y "(N,d')" son dos espacios métricos, formula_4 será una contracción si existe una constante "k" tal que formula_5 para todo "x" e "y" de "M".