第435章 格羅滕迪克概形

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


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


  佐恩引理，良序定理（heory）基礎上，上述三者中從任一出發均可推得另外兩個。