><上昇列 0<・・・<ω が有限列にしかなり得ない

つまり、ωの直前の項が存在する<上昇列は有限列
<上昇列 0<・・・ωが無限列になる場合
ωの直前の項が存在しない場合、その場合に限る

もうSET Aに弁解の余地はないよ 潔く死にな