Dedekind cut
A typical Dedekind cut of the rational numbers formula_15 is given by the partition formula_16 with