克莱尼不动点定理 在数学中序理论的克萊尼不動點定理英語Kleene fixedpoint theorem指出给定任何完全格 L 和任何具有斯科特连续性的函数 f  L  L  displaystyle fLto L f displaystyle f 的最小不动点 f i x  f  displaystyle fixf 存在如果我们用  displaystyle bot  来表示L内的最小元素那么 f i x  f    i   f i    displaystyle fixfbigsqcup igeq fibot