Similar to ススリンの問題
辞書式順序
Lexicographic order縮小写像
Contraction mapping順序環
Ordered ring順序群
Partially ordered group順序数
Ordinal number昇鎖条件
Ascending chain condition数学的帰納法
Mathematical inductionスコット連続
Scott continuity全順序
Total order単項式順序
Monomial order単調写像
Monotonic function超フィルター
Ultrafilter直積順序
Product orderツォルンの補題
Zorn's lemmaハッセ図
Hasse diagramフィルター (数学)
Filter (mathematics)プロセス (曖昧さ回避)
Processメビウスの反転公式
Möbius inversion formula有界
Bounded set有向点族
Net (mathematics)領域理論
Domain theory列 (数学)
Sequence数理論理学
Mathematical logic一階述語論理
First-order logic一般と特殊 (数学)
Special case意味論 (論理学)
Semanticsエルブランの定理
Herbrand's theorem型理論
Type theory