 A real sequence formula_94 has a natural hyperreal extension, defined for hypernatural values "H" of the index "n" in addition to the usual natural "n".The sequence is Cauchy if and only if for every infinite "H" and "K", the values formula_95 and formula_96 are infinitely close, or adequal, i.e.where "st" is the standard part function.