neighbourhood basis

Sei \((X, \mathcal{T})\) ein topologischer Raum mit \(x \in X\) so heißt \(\mathcal{B}(x) \subseteq \mathcal{U}(x)\) eine Umgebungsbasis von \(x\), wenn zu jeder Umgebung \(U \in \mathcal{U}(x)\) ein \(B \in \mathcal{B}(x)\) existiert mit \(B \subseteq U\)