あもしかして
[0,1)×ω1を整列させようとしてると思ってる？
そうでなくてあくまで
[0,1)×ω1に辞書式順序で大小関係を入れたときの順序位相を入れたモノを長い半直線Lと定義するってだけ