离散数学——良序集

良序集—百度百科https://baike.baidu.com/item/%E8%89%AF%E5%BA%8F%E9%9B%86/9682184?fr=aladdin0.00...1是个什么数？（有关良序集的解释）https://www.sohu.com/a/225565868_701814<良序集>

任一偏序集，假设它的每一个非空子集都存在极小元素，这种偏序集称为良序集。

<良序集的作用>

粗略的说，良序集合的排序方式，使得我们可以逐次考虑一个它的元素，而在还没有检视完所有的元素的任何时候，总是有一个唯一的下一个元素可考虑

 <良序集的性质>

在良序集合中，除了整体上最大的那个，所有的元素都有一个唯一的后继元（比它大的最小的元素）；但是，不是所有元素都需要有前驱元（与后继元相对），如自然数集中0没有前驱元。

<良序集的例子>

自然数集在通常序下是良序集。 

实数集在通常序下不是良序集。

---

补充定义：

<偏序关系>

集合A上的二元关系R，如果R是自反的、反对称的、传递的，则称R为A上的偏序关系，记作≤，xRy记作x≤y，即“x小于等于y”

<偏序集>

集合A与A上的偏序关系R一起称为一个偏序结构，或称偏序集，记作<A,R>

• 例如：幂集上的包含关系、实数集上的小于等于关系 

<全序关系>

设R为A上的偏序关系，如果对任意x,y∈A，x和y都是可比的，则成R为A上的全序关系

• 例如：实数集上的小于等于关系，（整除关系不是）