クリーネの不動点定理

3行要約

1. 完備半順序集合上のスコット連続な関数は、最小不動点を持つという定理。
2. 計算機科学において、再帰的なプログラムの定義に数学的な意味を与える。
3. 不動点はボトム要素からの近似の極限として構成的に求められる。