让•勒瑞听说嘉当关于佐恩引理后，想亲自看看什么是佐恩引理。
在任何一个非空的偏序集中，如果任何链（即一个全序子集）都有上界，那么这个偏序集必然存在一个极大元素。
库拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合论中一个重要的定理。
佐恩引理，良序定理（well-ordering theorem）和选择公理（axiom of choice）彼此等价，在集合论的Zermelo-Fraenkel公理（Zermelo-Fraenkel axiom of set theory）基础上，上述三者中从任一出发均可推得另外两个。
喜欢数学心请大家收藏：(www.520fs.com)数学心520飞书更新速度全网最快。