Similar to 直積順序
アルキメデスの性質
Archimedean property1+1+1+1+…
1 + 1 + 1 + 1 + ⋯1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯1/100
Hundredth0
0▼-1 trends1
12
23
34
45
56
67
78
89
91048576
12345679
順序集合
Ordered set因果集合
Causal setsヴェブレン階層
Veblen function宇宙 (数学)
Universe (mathematics)可算鎖条件
Countable chain condition完備半順序
Complete partial order完備ブール代数
Complete Boolean algebra吸収法則
Absorption lawクリーネの不動点定理
Kleene fixed-point theorem構造的帰納法
Structural induction