Dedekind cut
A Dedekind cut is a partition of the rationals formula_1 into two subsets formula_2 and formula_3 such that