基數比較

對於任意集合 和 ，它們的基數滿足 當且僅當存在一個從 到 的一對一函式 (Rubin 1967, p. 266; Suppes 1972, pp. 94 and 116)。很容易證明這滿足偏序的自反性和傳遞性公理。然而，很難證明反對稱性，其證明被稱為Schröder-Bernstein 定理。為了證明三歧性，必須使用選擇公理。

雖然可以類似地定義序型別，但這樣做似乎並不常見。