後続順序数の類、（さまざまな共終数を持つ）極限順序数の類と0を併せたもので順序数の類は尽くされるから、これらの場合はしばしば超限帰納法や超限再帰（英語版）的定義に用いられる。
后继序数和极限序数（不同的共尾）的类还有零耗尽整个序数的类，所以这些情况经常用于通过超限归纳法的证明或通过超限递归的定义。