subbasis

Sei \((X, \mathcal{T})\) ein topologischer Raum und \(\mathcal{S} \subseteq \mathcal{T}\) eine Teilmenge.

Dann ist \(\mathcal{S}\) eine Subbasis, wenn die Menge aller endlicher Durchschnitte von \(O_i \in \mathcal{S}\) eine Basis der Topologie bilden.