>>368
>降鎖と昇鎖の区別がついていない

SET A 無限列 0<・・・<ω は 降鎖条件を満たさないと認める

だったら”<ω”と書いてはいけなかったね
列中、x<ωとなるxはないのだから