 The real numbers can be constructed out of the rational numbers by defining each real number to be a Dedekind cut of the rationals. A Dedekind cut of the rationals is a pair of sets \(L\) and \(R\) such that: