Category:順序構造
超フィルター
Ultrafilter有向点族
Net (mathematics)上方集合
Upper set完備ブール代数
Complete Boolean algebraブール素イデアル定理
Boolean prime ideal theoremヴェブレン階層
Veblen functionコンパクト要素
Compact element宇宙 (数学)
Universe (mathematics)フィルター (数学)
Filter (mathematics)プロセス (曖昧さ回避)
Process列 (数学)
Sequence可算鎖条件
Countable chain conditionスコット連続
Scott continuity順序環
Ordered ringクリーネの不動点定理
Kleene fixed-point theorem単項式順序
Monomial order直積順序
Product order最小不動点
Least fixed point順序群
Partially ordered group昇鎖条件
Ascending chain condition領域理論
Domain theoryススリンの問題
Suslin's problem構造的帰納法
Structural induction縮小写像
Contraction mapping因果集合
Causal sets吸収法則
Absorption law完備半順序
Complete partial order数学的帰納法
Mathematical induction