Topologie/Basis/Definition

Basis einer Topologie

Es sei ${}(X,{\mathcal {T}})$ ein topologischer Raum. Ein System ${}{\mathcal {C}}$ von offenen Mengen in ${}X$ heißt Basis der Topologie, wenn man jede offene Menge in ${}{\mathcal {T}}$ als Vereinigung von offenen Mengen aus ${}{\mathcal {C}}$ erhalten kann.