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