定義
佐恩引理（Zorn's Lemma）也被稱為庫那圖斯克-佐恩引理（Kuratowski-Zorn），是集合論（Set Theory）中一個重要的定理。
內容
在任何一個非空的偏序集中，如何任何鏈（即一個全序子集）都有上界，那么這個偏序集必然存在一個最大元素。
佐恩引理是以數學家佐恩（Max Zorn）的名字命名的。
具體來說，假設<math>(P, \le)</math>是一個偏序集，它的一個子集<math>T</math>稱為是一個全序子集，如果對於任意的<math>s, t \in T</math>，<math>s \le t</math>或<math>t \le s</math>二者中有且僅有一個成立。而<math>T</math>稱為是有上界的，如果<math>P</math>中存在一個元素<math>u</math>，使得對於任意的<math>t \in T</math>，都有<math>t \le u</math>。在上述定義中，並不要求<math>u</math>一定是<math>T</math>中的元素。而一個元素<math>m \in T</math>稱為是最大的，如果<math>x \in T</math>且<math>x \ge m</math>，則必然有<math>x = m</math>。
佐恩引理，良序定理（well-ordering theorem）和選擇公理（axiom of choice）彼此等價，在集合論的Zermelo-Fraenkel公理（Zermelo-Fraenkel axiom of set theory）基礎上，上述三者中從任一出發均可推得另外兩個。佐恩引理在數學的各個分支中都有重要地位，例如在證明泛函分析（Functional Analysis）的罕-巴那赫定理（Hahn-Banach Theorem）、斷言任一向量空間必有基，拓撲學中證明緊空間的乘積空間仍為緊空間的Tychonoff定理，和抽象代數中證明任何環必然有極大理想和任何域必然有代數閉包的過程中，佐恩引理都起到了關鍵性作用。
佐恩引理的一個典型套用是證明任何一個環<math>R</math>必然有極大理想。用<math>P</math>來表示<math>R</math>的所有真理想（即<math>R</math>的所有雙邊理想，且該理想是<math>R</math>的真子集）。在<math>P</math>中引入一個偏序，定義為集合的包含關係，那么<math>P</math>中必然有一個極大元素，並且這個元素是<math>R</math>的真子集，從而<math>R</math>有一個極大理想。
為了套用佐恩引理，需要證明<math>P</math>的任何一個全序子集<math>T</math>都有一個上界，即存在一個理想<math>I</math>滿足<math>I \subset R</math>並且<math>I</math>比<math>T</math>中任何一個元素都大，但<math>I</math>並非<math>R</math>本身。現取<math>I</math>為<math>T</math>中所有理想的並。可以證明，<math>I</math>是一個理想：如果<math>a</math>和<math>b</math>是<math>I</math>中的兩個元素，那么必然存在<math>T</math>中兩個理想<math>J, K \in T</math>滿足<math>a \in J, b \in K</math>。注意<math>T</math>是一個全序集，所以必然有<math>J \subset K</math>或者<math>K \subset J</math>，從而必然有<math>a, b \in J</math>或<math>a, b \in I</math>二者居其一，從而<math>a + b \in I</math>。進一步，對於任何<math>r \in R, a \in I</math>都可以證明<math>ra \in I</math>。由此，<math>I</math>成為<math>R</math>的一個理想。
現在考慮證明的核心部分：利用<math>I = R</math>充要於<math>1 \in I</math>，可以證明<math>I</math>一定是<math>R</math>的真子集。因為如果<math>1 \in I</math>，那么必然有某個<math>J \in T</math>滿足<math>1 \in J</math>，這意味著<math>J = R</math>，這與<math>T</math>的選取是矛盾的。
這樣，利用佐恩引理，<math>P</math>必然包含一個最大元素，而這個元素就是<math>R</math>的一個極大理想。
注意這個結論只在<math>R</math>是單位環的時候成立，在<math>R</math>不是單位環的情形下，一般而言這個結論是不成立的。
假設佐恩引理不成立，那么存在一個偏序集<math>P</math>使得它的任何一個全序子集都有上界，但<math>P</math>中任何元素都不是最大元素。因此，對於任何一個全序子集<math>T</math>，可以定義一個元素<math>b(T)</math>，使其大於<math>T</math>的上界。為了確保這樣的定義是可以實現的，必須首先承認選擇公理。
利用上面定義的函式<math>b</math>，可以定義一個序列<math>a_0 < a_1 < \dots </math>，這裡作為下標的指標集不僅可以是自然數，也可以是所有序數。事實上，可以將序列構造得“足夠長”使得其甚至多於<math>P</math>本身，因為序數是可以多於任何集合的基數的，因此<math>P</math>將被這個序列窮盡，從而導出一個矛盾。
上述的序列可以利用超限歸納法構造：<math>a_0</math>可以選擇為<math>P</math>中任意元素（這樣的選擇是可行的，原因是<math>P</math>至少包含空集的一個上界，從而<math>P</math>是非空的），而對於任意一個序數<math>w</math>，定義<math>a_w = b(\{a_v \mid v < w\})</math>，注意<math>a_v</math>是全序的，所以<math>a_w</math>的定義是合理的。
事實上這個證明的結論略強於佐恩引理：
如果<math>P</math>是一個偏序集，並且它的任何一個良序子集都有上界，那么對於<math>P</math>的任意元素<math>x</math>而言，<math>P</math>中有一個大於等於<math>x</math>的最大元素。換言之，存在一個可以與<math>x</math>比較的最大元素。
佐恩引理在1922年首先被庫那圖斯克（K. Kuratowski）所發現，1935年佐恩（Max Zorn）亦獨立地發現此結論。
