Cauchy sequence
If a hyperreal formula_10 is represented by a Cauchy sequence formula_11 in the ultrapower construction, then