>>799
なる場合はそれでよい。自然数だって、「ひゃくごじゅういち」のように日本語で読みくだして、
あいうえお順に並べても、また別の順序集合になる。問題は、絶対に順序集合にはならない、
なんてことがあるかどうかだ。