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
1▲1 trends2
2▲1 trends3
3▲1 trends4
45
5▲1 trends6
67
78
8▲1 trends9
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