 This proves that the sequence is Cauchy, and thus converges, showing that formula_8 is well defined for every "x".The real numbers are often described as "the complete ordered field", a phrase that can be interpreted in several ways.First, an order can be lattice-complete.