初始序數

如果每個較小的序數都具有較小的基數，則一個序數被稱為初始序數（Moore 1982，第248頁；Rubin 1967，第271頁）。s 序數只是超限初始序數（Rubin 1967，第272頁）。

這個真類可以被良序化，並與序數建立一一對應。對於任意兩個序同構的良序集，它們之間只有一個序同構。令 為從序數到超限初始序數的該同構，則

其中 。