Dedekind Cuts

Reals are divisions of the rationals with respect to ordering.  Some are rationals and some are "in between" rationals. They form an ordered algebraic field and are also referred to as Dedekind cuts.