Definition: Borelsche Sigma-Algebra

Sei das Mengensystem der offenen Mengen über einem topologischen Raum (hier beispielhaft ).

Als -Algebra der Borel-Mengen des bezeichnen wir:

Falls , schreiben wir kurz .

Anmerkung

Mengensystem der halboffenen Intervalle

Da ein Erzeugendensystem von ist, gilt auch: