在数学中，序理论的 Kleene不动点定理指出给定任何完全格 "L" 和任何具有斯科特连续性的函数 formula_2的最小不动点formula_3存在，如果我们用formula_4来表示"L"内的最小元素，那么formula_5
证明.我们首先定义集合formula_6，为了方便表示，我们用formula_7来表示集合formula_8中最大的元素，即formula_9。我们想要证明formula_7为函数formula_2的最小不动点。首先我们证明formula_7为