佐恩引理（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）亦独立地发现此结论。
