全近傍系
$ xの近傍の集合$ \mathcal N(x)のこと 定義
性質
開核との交換則$ N\in\mathcal N(x)\iff x\in N^\circ 同値な定義
開核作用素$ \bullet^\circによる構成 $ \mathcal N:X\ni x\mapsto\{N\in2^X|x\in N^\circ\}\in 2^X
$ \mathcal N:X\ni x\mapsto\{N\in2^X\mid\exist O\in\mathcal O:x\in O\subseteq N\}\in2^X