元素被定义为（假定对于所有formula_8的情况已经定义了），大于对于所有formula_8的第formula_10个元素的最小元素。又例如，我们可以应用它于极限序数的类：要么是极限要么是零的第formula_6个序数是formula_12（参见序数算术中关于序数乘法的定义）。类似的，我们可以考虑“加法不可分解”的序数（意味着它是非零序数，且不能是两个严格更小的序数的和）：第formula_6个加法不可分解序数被标定为formula_14。标定序数类的技术经常在不动点的论述中有用：例如，使得formu