>>652
>辞書式順序って[0,1)上の整列順序Xとω1上の整列順序YをX優先で組み合わせた[0,1)×ω1上の順序ってこと?
そこは0≦a<b<1の実数の大小