Similar to 領域理論
吸収法則
Absorption law
クリーネの不動点定理
Kleene fixed-point theorem
構造的帰納法
Structural induction
コンパクト要素
Compact element
最大と最小
Greatest element and least element
辞書式順序
Lexicographic order
順序環
Ordered ring順序群
Partially ordered group
順序数
Ordinal number
昇鎖条件
Ascending chain condition
上方集合
Upper set
数学的帰納法
Mathematical induction
ススリンの問題
Suslin's problem
全順序
Total order
単項式順序
Monomial order
単調写像
Monotonic function
超フィルター
Ultrafilter
直積順序
Product order
ツォルンの補題
Zorn's lemma
ハッセ図
Hasse diagram
フィルター (数学)
Filter (mathematics)
ブール素イデアル定理
Boolean prime ideal theoremプロセス (曖昧さ回避)
Process
メビウスの反転公式
Möbius inversion formula
有界
Bounded set
有向点族
Net (mathematics)
列 (数学)
Sequence
計算理論
Theory of computation
