定義（近傍） $(X, \mathscr{O})$:位相空間 . $N \subset X$ $N$が$x$の近傍である $\Leftrightarrow$ $x\in N^i$: $x$が$N$の内点である$\Leftrightarrow ^{\exists}U \in \mathscr{O} $ s.t. $x \in U , U \subset N$ 特に、$x$を含む開集合は、定義から、…