>>610
>>つまり、どの項も直前の項より真に大きいときには、その列は真の(あるいは狭義の)増大列 (strictly monotonically increasing) という。
>じゃダメじゃん
>ωの直前の項が無いんだから

なんだ?
おまえ、そんなところで躓いているのか?w

”∀n∈N(自然数)で、n < ω ” と考えれば良い

それは、実数で
∀r∈R-(負の実数) 、 r < 0 と同じだよ

まあ、君には難しいかもね
二項関係を、稠密集合Qや、連続のRに拡大したときには
上記と同様のことが起きる
中学校でしっかり勉強してねw