>>961
O⊂Aのときどうするんだ?
x∈O⊂Vもわからん、Oを含むようなx近傍を取るのか?