克納斯特－塔斯基定理

在數學領域序理論和格理論中 ， Knaster – Tarski 定理 ， 得名於 Bronisław Knaster 和阿爾弗雷德 · 塔斯基 ， 它聲稱: 設 L 是完全格並設 f: L → L 是次序保持函數 。 則 f 在 L 中的不動點的集合也是完全格 。 這個定理的一種逆命題由 Anne C. Davis 證明了: 如果所有次序保持函數 f: L → L 有不動點 ， 則 L 是完全格 。