Similar to 直積順序
アルキメデスの性質
Archimedean property
1+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
Hundredth
0
01
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
1048576
1048576
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