佐恩引理

佐恩引理(Zorn's Lemma)也被称为库那图斯克-佐恩引理(Kuratowski-Zorn)，是集合论(Set Theory)中一个重要的定理。在任何一个非空的偏序集中，如果任何链(即一个全序子集)都有上界，那么这个偏序集必然存在一个极大元素。