Category:順序構造
メビウスの反転公式
Möbius inversion formulaスコット連続
Scott continuity吸収法則
Absorption law構造的帰納法
Structural induction直積順序
Product order因果集合
Causal sets有界
Bounded set完備半順序
Complete partial order有向点族
Net (mathematics)領域理論
Domain theory単項式順序
Monomial order