Category:順序構造
辞書式順序
Lexicographic orderメビウスの反転公式
Möbius inversion formula最大と最小
Greatest element and least element吸収法則
Absorption law因果集合
Causal sets上方集合
Upper set完備ブール代数
Complete Boolean algebraブール素イデアル定理
Boolean prime ideal theorem領域理論
Domain theory数学的帰納法
Mathematical inductionコンパクト要素
Compact element宇宙 (数学)
Universe (mathematics)フィルター (数学)
Filter (mathematics)プロセス (曖昧さ回避)
Process列 (数学)
Sequence可算鎖条件
Countable chain conditionヴェブレン階層
Veblen function完備半順序
Complete partial order構造的帰納法
Structural induction単項式順序
Monomial order順序群
Partially ordered groupクリーネの不動点定理
Kleene fixed-point theoremススリンの問題
Suslin's problem直積順序
Product order最小不動点
Least fixed point全順序
Total order順序環
Ordered ring昇鎖条件
Ascending chain condition