序数比较

设 和 为 良序集，其 序数 分别为 和 。则 当且仅当 序同构于 的一个 初始段 (Dauben 1990, p. 199)。由此，可以很容易地证明 序数 通过这种关系是 全序 的。事实上，它们通过这种关系是 良序 的。