其后的ω，乃至其后很多的ε（这只是给出了几个最小—可数—的序数）。我们可以按照如上方式无限的进行下去。
定义.
良序集定义.良序集合是在其中所有非空子集都有一个最小元素的有序集合：这等价于（至少在假定依赖选择公理下）说这个集合是全序的并且没有无限递减序列，这样说可能较直观。在实践中，良序的重要性体现于超限归纳法的应用，大致上它是声称，若有一性质可从一个元素的前驱传递到这个元素自身，那么该性质必定对（给定良序集合的）所有元素成立。如果一个计算（计算机程序或游戏）