>>513 補足

　（>>519-520に対して）
そんなに初項が欲しければ、下記のように初項0を追加すれば良いｗ

　列の長さは、2ωになる。全順序の増加列だが、 定義(an)n∈Nから外れるので、松坂和夫の昇鎖の定義から外れる
　が、・・<1/n<・・<1/2<1<・・<1+1/n<・・<1+1/2<1+1=2 と書いても間違いではない！ｗｗ
　　↓
　列の長さは、2ωになる。全順序の増加列だが、 定義(an)n∈Nから外れるので、松坂和夫の昇鎖の定義から外れる
　が、0<・・<1/n<・・<1/2<1<・・<1+1/n<・・<1+1/2<1+1=2 と書いても間違いではない！ｗｗ

となる
数学的な本質は変わらない
初項は、いつでも追加できる！ｗ