>>217
全順序集合Xが開集合でなければ、位相が定義できないので、全順序集合X
は開集合に限ると解釈して良いのでしょうか?