「部分集合 U ⊂ X について，U のどの点をとっても，正数 ε が存在して，Bε(x) ⊂ U が成立するとき，U は開集合であるという」
開集合の定義はこれを使っていますか？