la_54；但是不存在有理数上确界（因为formula_4不是有理数）。实数通过上述性质唯一确定。更准确的说，给定任意两个戴德金完备的有序域 formula_56和 formula_57，存在从 formula_56到 formula_57的唯一的域同构，即代数学上两者可看作是相同。
性质.
基本运算.在实数域内，可实现的基本运算有加、减、乘、除、乘方等，对非负数还可以进行开方运算。实数加、减、乘、除（除数不为零）、平方后结果还是实数。任何实数都可以开奇