基本近傍系全体の集合

$ \mathscr N^*(x):=\Set{\mathcal N^*\subseteq\mathcal N(x)|\mathcal N(x)\subseteq\lang\mathcal N^*\rang_X}