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