Similar to 完備半順序
可算鎖条件
Countable chain condition
完備ブール代数
Complete Boolean algebra
吸収法則
Absorption law
クリーネの不動点定理
Kleene fixed-point theorem
構造的帰納法
Structural induction
コンパクト要素
Compact element
最小不動点
Least fixed point
最大と最小
Greatest element and least element
辞書式順序
Lexicographic order
縮小写像
Contraction mapping
順序環
Ordered ring順序群
Partially ordered group
順序数
Ordinal number昇鎖条件
Ascending chain condition
上方集合
Upper set
数学的帰納法
Mathematical induction
スコット連続
Scott continuity
ススリンの問題
Suslin's problem
全順序
Total order
単項式順序
Monomial order
単調写像
Monotonic function
超フィルター
Ultrafilter
直積順序
Product order
ツォルンの補題
Zorn's lemma
ハッセ図
Hasse diagram
フィルター (数学)
Filter (mathematics)
ブール素イデアル定理
Boolean prime ideal theoremプロセス (曖昧さ回避)
Process
