Similar to 最小不動点
アルキメデスの性質
Archimedean property縮小写像
Contraction mapping領域理論
Domain theory0
01
12
23
34
45
56
67
78
89
912345679
順序集合
Ordered set因果集合
Causal setsヴェブレン階層
Veblen function宇宙 (数学)
Universe (mathematics)可算鎖条件
Countable chain condition完備半順序
Complete partial order吸収法則
Absorption lawクリーネの不動点定理
Kleene fixed-point theorem構造的帰納法
Structural inductionコンパクト要素
Compact element最大と最小
Greatest element and least element辞書式順序
Lexicographic order順序環
Ordered ring順序群
Partially ordered group