Kingに聞こうと思ってたんだけど、
位相Oの定義で、O_1∈O、O_2∈Oならば O_1∩O_2∈Oってなんのためにあるん？
∪O_k ∈ Oに比べてきつすぎね？