讓?勒瑞聽說嘉當關於佐恩引理後，想親自看看什麽是佐恩引理。

　　在任何一個非空的偏序集中，如果任何鏈(即一個全序子集)都有上界，那麽這個偏序集必然存在一個極大元素。

　　庫拉托夫斯基-佐恩(Kuratowski-Zorn)引理，是集合論中一個重要的定理。

　　佐恩引理，良序定理(well-ordering theorem)和選擇公理( of choice)彼此等價，在集合論的Zermelo-Fraenkel公理(Zermelo-Fraenkel of set theory)基礎上，上述三者中從任一出發均可推得另外兩個。