Similar to 完備半順序
構造的帰納法
Structural inductionコンパクト要素
Compact element最小不動点
Least fixed point最大と最小
Greatest element and least element辞書式順序
Lexicographic order縮小写像
Contraction mapping順序環
Ordered ring順序群
Partially ordered group順序数
Ordinal number昇鎖条件
Ascending chain condition数学的帰納法
Mathematical inductionスコット連続
Scott continuityススリンの問題
Suslin's problem全順序
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ブール素イデアル定理
Boolean prime ideal theorem