而 "f" 对于极限序数 γ 是 "f" 对于所有小于 γ 的序数 β 的最小上界。最大不动点的对偶定理成立。例如，在理论计算机科学中，单调函数的最小不动点被用来定义程序语义。使用这个定理的一个更专门的版本，这里的 "L" 被坚定为是特定集合的所有子集在集合包含次序下格。这反映了在很多应用中只使用这种格的事实。人们经常查找有是函数 "f" 的不动点的这种性质的最小集合。抽象释义充分利用了 Knaster–Tarski 定理并公式给出了最小和最大不动点。Knaster–Tarski 定理可以用于康托