Dedekind Cuts

Reals are divisions of the rationals.  These divisions form an ordered algebraic field and are referred to as Dedekind cuts. Note that, with respect to quantity, divisions that do not correspond to rationals are in between rationals.