Similar to 構造的帰納法
最小不動点
Least fixed point
最大と最小
Greatest element and least element
辞書式順序
Lexicographic order
縮小写像
Contraction mapping
順序環
Ordered ring順序群
Partially ordered group
順序数
Ordinal number
昇鎖条件
Ascending chain condition
上方集合
Upper set
スコット連続
Scott continuity
全順序
Total order
単項式順序
Monomial order
単調写像
Monotonic function
超フィルター
Ultrafilter
直積順序
Product order
ツォルンの補題
Zorn's lemma
ハッセ図
Hasse diagram
フィルター (数学)
Filter (mathematics)
ブール素イデアル定理
Boolean prime ideal theoremプロセス (曖昧さ回避)
Process
メビウスの反転公式
Möbius inversion formula
有界
Bounded set
有向点族
Net (mathematics)
領域理論
Domain theory
列 (数学)
Sequence
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
