クリーネの不動点定理
数学の順序理論や束論におけるクリーネの不動点定理（クリーネのふどうてんていり、）とは、スティーヴン・コール・クリーネによって導入された以下の定理である。
ここで、formula_3 のクリーネ鎖とは、formula_5 の最小元 formula_6 に formula_3 を繰り返し適用することで得られる以下の鎖のことである。
最小不動点を formula_9 と書くことにすると、本定理は次式で表すことができる。
本定理はしばしばアルフレト・タルスキによるものと誤解されるが、本定理は不動点の具体的な構成方法を与えているという点で（こちらは完備束上の単調関数に関する定理である）とは異なるものである。