##### 佐恩引理 - 佐恩引理 - **佐恩引理**表示在任何一非空的[[偏序关系|偏序集]]中, 若任何[[链]]都有[[界|上界]], 则此偏序集内必然存在至少一个[[极值|极大元素]]. 佐恩引理与[[选择公理]], [[良序定理]]等价