Category:順序構造
アルキメデスの性質
Archimedean property
順序集合
Ordered set
有界
Bounded set
ツォルンの補題
Zorn's lemma
順序数
Ordinal number
メビウスの反転公式
Möbius inversion formula
辞書式順序
Lexicographic order
有向点族
Net (mathematics)
単項式順序
Monomial order
最大と最小
Greatest element and least element
超フィルター
Ultrafilter
領域理論
Domain theory
吸収法則
Absorption law
縮小写像
Contraction mapping
完備ブール代数
Complete Boolean algebra
因果集合
Causal sets
ハッセ図
Hasse diagram
スコット連続
Scott continuity
ブール素イデアル定理
Boolean prime ideal theorem
コンパクト要素
Compact element
宇宙 (数学)
Universe (mathematics)
構造的帰納法
Structural induction
フィルター (数学)
Filter (mathematics)プロセス (曖昧さ回避)
Process
列 (数学)
Sequence
可算鎖条件
Countable chain condition
最小不動点
Least fixed point昇鎖条件
Ascending chain condition
