>>283
そもそも
「列をa、インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つとき、
　aは真の上昇列や<上昇列であると呼ぶ」
という＜上昇列の定義が独善的な誤り