克纳斯特－塔斯基定理

在数学领域序理论和格理论中，Knaster–Tarski 定理，得名于 Bronisław Knaster 和阿尔弗雷德·塔斯基，它声称：设 L 是完全格并设 f : L → L 是次序保持函数。则 f 在 L 中的不动点的集合也是完全格。这个定理的一种逆命题由 Anne C. Davis 证明了: 如果所有次序保持函数 f : L → L 有不动点，则 L 是完全格。