Category:順序構造
メビウスの反転公式
Möbius inversion formula
クリーネの不動点定理
Kleene fixed-point theorem
数学的帰納法
Mathematical induction
領域理論
Domain theory
構造的帰納法
Structural induction
単項式順序
Monomial order
有向点族
Net (mathematics)
ツォルンの補題
Zorn's lemma
全順序
Total order
有界
Bounded set
アルキメデスの性質
Archimedean property