Dedekind cut
If formula_1 is the set of rational numbers, viewed as a totally ordered set with the usual numerical order, then each element of the Dedekind–MacNeille completion of formula_1 may be viewed as a Dedekind cut, and the Dedekind–MacNeille completion of formula_1 is the total ordering on the real numbers, together with the two additional values formula_4.