在数学中,集合 S 上的良序关系(或良序)需要满足:1. 是在 S 上的全序关系2. S 的所有非空子集在这个次序下都存在最小元素。等价的说,良序是良基的线序。集合 S 和这个良序关系一起就叫做良序集合。
粗略的说,良序集合的排序方式,使得我们可以逐次考虑一个它的元素,而在还没有检视完所有的元素的任何时候,总是有一个唯一的下一个元素可考虑。