良序關係

在數學中 ， 集合S上的良序關係 （ 或良序 ） 需要滿足 ： 1. 是在S上的全序關係2. S的所有非空子集在這個次序下都存在最小元素 。 等價的說 ， 良序是良基的線序 。 集合S和這個良序關係一起就叫做良序集合 。 粗略的說 ， 良序集合的排序方式 ， 使得我們可以逐次考慮一個它的元素 ， 而在還沒有檢視完所有的元素的任何時候 ， 總是有一個唯一的下一個元素可考慮 。