Similar to コンパクト要素
アルキメデスの性質
Archimedean property0
01
12
23
34
45
56
67
78
89
912345679
順序集合
Ordered set因果集合
Causal setsヴェブレン階層
Veblen function宇宙 (数学)
Universe (mathematics)可算鎖条件
Countable chain condition完備半順序
Complete partial order吸収法則
Absorption lawクリーネの不動点定理
Kleene fixed-point theorem構造的帰納法
Structural induction最小不動点
Least fixed point最大と最小
Greatest element and least element辞書式順序
Lexicographic order縮小写像
Contraction mapping順序環
Ordered ring順序群
Partially ordered group順序数
Ordinal number