基数比较

对于任意集合 和 ，它们的基数满足 当且仅当存在一个从 到 的一对一函数 (Rubin 1967, p. 266; Suppes 1972, pp. 94 and 116)。很容易证明这满足偏序的自反性和传递性公理。然而，很难证明反对称性，其证明被称为Schröder-Bernstein 定理。为了证明三歧性，必须使用选择公理。

虽然可以类似地定义序类型，但这样做似乎并不常见。