" 是从 "L" 到 "L" 的单调函数。则任何 "x"′使得 "f"′("x"′) ≤ "x"′是 "f" 的最小不动点的抽象，它依据 Knaster-Tarski定理而存在。困难现在是获得这样的 "x"′。如果 L' 是有限高度的，或最多检验“升链条件”(所有上升序列最终都固定)，则这样的 "x"′可获得为通过如下归纳法定义的上升序列 "x"′ 的固定极限: "x"′=⊥ ("L"′的最小元素) 并且 "x"′="f"′("x"′)。在其他情况，仍有可能通过拓宽算子∇ 来的得到这种 "x"′: