在数学中，集合"S"上的良序关系（或良序）需要满足：1.是在"S"上的全序关系2. "S"的所有非空子集在这个次序下都存在最小元素。等价的说，良序是良基的线序。集合"S"和这个良序关系一起就叫做良序集合。 粗略的说，良序集合的排序方式，使得我们可以逐次考虑一个它的元素，而在还没有检视完所有的元素的任何时候，总是有一个唯一的"下一个"元素可考虑。
性质.在良序集合中，除了整体上最大的那个，所有的元素都有一个唯一的后继元：比它大的最小的元素。但是，不是所有元素都需要有前驱元。