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