>>74
ありがとうございます。「元々のX」の性質はいったん忘れて、元々開集合
でなかっても位相を入れるときは開集合として考えるということでしょうか?