佐恩引理（）也被称为库拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合论中一个重要的定理，其陈述为：在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，则此偏序集内必然存在（至少一枚）极大元。佐恩引理是以数学家马克斯·佐恩的名字命名的。具体来说，假设formula_1是一个偏序集，它的一个子集formula_2称为是一个全序子集，如果对于任意的formula_3有formula_4或formula_5。而formula_2称为是有上界的，如果formula_7中存在一个元素for