克莱尼不动点定理
在數學中，序理論的 Kleene 不動點定理指出給定任何完全格 L 和任何具有斯科特連續性的函數 

  
    
      
        f
        :
        L
        →
        L
        ,
      
    
    {\displaystyle f:L\to L,}
  
  
    
      
        f
      
    
    {\displaystyle f}
  的最小不動點
  
    
      
        f
        i
        x
        (f)
      
    
    {\displaystyle fix (f)}
  存在，如果我們用
  
    
      
        ⊥
      
    
    {\displaystyle \bot}
  來表示 L 內的最小元素，那麼
  
    
      
        f
        i
        x
        (f)
        =
        
          ⨆
          
            i
            ≥
            0
          
        
        
          f
          
            i
          
        
        (⊥)
      
    
    {\displaystyle fix (f)=\bigsqcup _{i\geq 0} f^{i}(\bot)}