有前驱元。作为例子，考虑自然数的一个次序，这里的所有偶数都小于所有奇数，并在偶数和奇数内应用正常的次序。这是个良序集合并被指示为ω + ω。注意尽管所有元素都有后继元（这里没有最大元素），有两个元素缺乏前驱元：零和一。如果一个集合可被良序化，超限归纳法证明技术可以用来证明给定陈述对于这个集合的所有元素为真。良序定理，等价于选择公理，声称所有集合都可以被良序排序。良序定理还等价于库拉托夫斯基-佐恩引理。
等价表述.如果一个集合是良序的，则下列是等价的：Section: