>>130
考えは1行目とあまりかわらないんだけど
B_A(y,ε)={a∈A｜d(y,a)＜ε}とおく←Aでの近傍
O_A∋O~ とすると O~∋∀y に対して ∃ε(y)＞0 s.t. B_A(y,ε(y))⊂O~
で、このε(y)たちに対して ∪B_X(y,ε(y)) を考える ← Xでの近傍の和集合
これが 欲しかった O∈O_X