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