良序关系

设 $⟨A,\le ⟩$ 是偏序集，若 A 的任何一个非空子集都有最小元素，则称 "$\le$" 为良序关系

良序集

等价于

• 是偏序关系
• 任何非空子集都有最小元素

偏序关系 > 全序关系 > 良序关系

实数上的小于等于不是良序关系（开区间找不到最小元素）

可数/有限的 全序集 一定是 良序集