Category:順序構造
最大と最小
Greatest element and least element
全順序
Total order
順序集合
Ordered set
吸収法則
Absorption law
因果集合
Causal sets
メビウスの反転公式
Möbius inversion formula
単調写像
Monotonic function
領域理論
Domain theory
上方集合
Upper set
完備ブール代数
Complete Boolean algebra
ブール素イデアル定理
Boolean prime ideal theorem
単項式順序
Monomial order
昇鎖条件
Ascending chain condition
縮小写像
Contraction mapping
構造的帰納法
Structural induction
コンパクト要素
Compact element
宇宙 (数学)
Universe (mathematics)
フィルター (数学)
Filter (mathematics)プロセス (曖昧さ回避)
Process
有界
Bounded set
列 (数学)
Sequence可算鎖条件
Countable chain condition
ヴェブレン階層
Veblen function
順序群
Partially ordered group
クリーネの不動点定理
Kleene fixed-point theorem
超フィルター
Ultrafilter
直積順序
Product order
最小不動点
Least fixed point
