第四百三十五章 佐恩引理

在任何一个非空的偏序集中，如果任何链（即一个全序子集）都有上界，那么这个偏序集必然存在一个极大元素。

库拉托夫斯基-佐恩（Kuratowski-zorn）引理，是集合论中一个重要的定理。

佐恩引理，良序定理（well-orderingtheorem）和选择公理（axio摸fchoice）彼此等价，在集合论的zermelo-Fraenkel公理（zermelo-Fraenkelaxio摸fsettheory）基础上，上述三者中从任一出发均可推得另外两个。