Definition:Real Number/Dedekind Cuts

Definition
The set of rational numbers are identified with the set of rational cuts.

All other cuts are called, and are identified with, irrational numbers.

Also see

 * Set of Rational Cuts forms Ordered Field