克萊尼不動點定理

在數學中 ， 序理論的 Kleene 不動點定理指出給定任何完全格 L 和任何具有斯科特連續性的函數 的最小不動點存在 ， 如果我們用來表示L內的最小元素 ， 那麼