近傍
$ (X,\mathscr O)
を
位相空間
とし、
$ X
の
部分集合
$ N
が
$ X
の点
$ a
の
近傍
であるとは、
$ N
が
点
$ a
を含む
開集合
となることである。
位相空間
$ (X,\mathscr O)
において、点
$ a
の近傍全体の
集合
を点
$ a
の
近傍系
といい
$ \mathfrak R(a)
で表す。