a_59 作为左项、formula_60 作为右项，以此类推，所以我们有formula_61 （考虑两边的序列在实数中分别收敛到 formula_62，因此是相容的）。对于负数，我们定义 formula_63。
子集对应.有理数、实数、序数分别是超现实数的子集。
有理数.所有二进分数都可以定义为超现实数，而所有分数都可以表示为两个整数之比，因此所有有理数都可以表示为超现实数。
实数.在定义出了有理数之后，使用戴德金分割可以立刻