一次元において空集合も開集合なのですか？
開集合だとすれば，>>826 では「Ｓは一個以上または無数の共通点を有しな
い開区間の合併である。」というところは「Ｓは０個以上または・・・」に
ならないといけないと思うのですが。