超现实数集合称作 formula_31。
序关系.给定 formula_32，我们（递归地）定义 formula_33 当且仅当以下两命题同时成立：那么可以自然地定义 formula_38。可以证明，这样的二元关系是一个全序关系。我们分别将 formula_39 称为 formula_22 负、 formula_22 正、 formula_22 非正、 formula_22 非负。我们定义 formula_44 表示 formula_33 与 formula_46 同