Más formalmente, se define una "sucesión de Cauchy" como una sucesión de números racionales tales que para todo formula_119 existe un formula_120 tal que para todo formula_121 se cumple formula_122.