初始序数

如果每个较小的序数都具有较小的基数，则一个序数被称为初始序数（Moore 1982，第248页；Rubin 1967，第271页）。s 序数只是超限初始序数（Rubin 1967，第272页）。

这个真类可以被良序化，并与序数建立一一对应。对于任意两个序同构的良序集，它们之间只有一个序同构。令 为从序数到超限初始序数的该同构，则

其中 。