>>199
>インデックス集合そのものに性質はない
あるよ

<の左右の項が存在する これが条件

「<ω」の直左に項が存在しなくていい、
というなら君は正真正銘の馬鹿