>>602 補足
> 1)xn R xn+1は、上昇列 （例 1　<　2<　3<・・(番号が増えるほど大きくなる)）
>可算無限長の上昇列 1<2<3<・・<ω があったとして、
>これが、降下列に変わったりしません

ここ
集合の∈に換えて
1∈2∈3∈・・∈ω
としても同じです

これは、あくまで、上昇列です。降下列に変わったりしません
なので、正則性公理で禁じられている無限降下列には、該当しません
また、列の長さの計量は、可算無限長であって、有限長とする必要はありません！（＾＾