##### 良序定理 - 良序定理 - **良序定理**表示任何[[集合]] $S$ 上都可以定义一个[[良序关系]], 即 $S$ 的每个非空子集都有[[最值|最小元素]]. 良序定理与[[选择公理]], [[佐恩引理]]等价