Dedekind cut
More generally, each finite formula_13 defines a Dedekind cut on the subset formula_14 (via the total order on formula_15) and the corresponding real number is the standard part of "u".