Category:順序構造
数学的帰納法
Mathematical induction
辞書式順序
Lexicographic order
全順序
Total order
有向点族
Net (mathematics)
最大と最小
Greatest element and least element
ハッセ図
Hasse diagram
有界
Bounded set
単調写像
Monotonic function
超フィルター
Ultrafilter
構造的帰納法
Structural induction
完備半順序
Complete partial order
ススリンの問題
Suslin's problem
領域理論
Domain theory
メビウスの反転公式
Möbius inversion formula
因果集合
Causal sets
順序群
Partially ordered group
単項式順序
Monomial order
コンパクト要素
Compact element
宇宙 (数学)
Universe (mathematics)
クリーネの不動点定理
Kleene fixed-point theorem
フィルター (数学)
Filter (mathematics)プロセス (曖昧さ回避)
Process
列 (数学)
Sequence
完備ブール代数
Complete Boolean algebra
可算鎖条件
Countable chain condition
スコット連続
Scott continuity
最小不動点
Least fixed point
ブール素イデアル定理
Boolean prime ideal theorem
