generated at
開近傍
aの開近傍とは
aを要素に持つ開集合のこと
aの開近傍全体の集合を\mathbb{B(a)}とかく
\mathbb{B(a)}=\{O\in\mathbb{O}|a\in O\}