查看“︁Zorn 引理”︁的源代码

[[分类:序理论]]
[[分类:公理集合论]]
{{InfoBox
|name=佐恩引理
|eng_name=Zorn's lemma
}}
<ins>佐恩引理</ins>('''Zorn's lemma''')指[[偏序集]]中任意[[链]]有[[上界、下界|上界]]则偏序集有[[极大元、极小元|极大元]]。
等价于[[选择公理]]。

== 定理 ==

对非空偏序集 <math>(P, \preceq)</math> ，若其中每条链都有上界，则该偏序集中存在至少一个极大元。


{{序理论}}