##### 良序关系 - 良序关系 - **良序关系**是对[[全序关系]]附加额外条件的[[自身关系]], 其中所有非空子集在这个次序下都存在[[最值|最小元素]]. **良序集**是定义了的全序关系 $R$ 的集合 $S$ , 记作 $(S,R)$. 有[[良序定理]] >[!example]- 良序关系 >- [[自然数]] $\mathbb{N}$ 上的排序 $\leq$ 为良序关系, 其 $(\mathbb{N},\leq)$ 为良序集