Zu der von der Topologie erzeugten Mengenalgebra
müssen alle offenen Teilmengen und somit, da eine Mengenalgebra auch unter Komplementen abgeschlossen ist, auch alle abgeschlossenen Teilmengen gehören. Da eine Mengenalgebra mit zwei Teilmengen auch deren Durchschnitt und deren Vereinigung enthält, gehören die angegebenen Mengen zu
.
Zur Umkehrung müssen wir zeigen, dass das angegebene Mengensystem eine Mengenalgebra ist, die alle offenen Mengen enthält. Eine offene Menge
kann man als
schreiben und ist daher von der angegebenen Form, da
selbst abgeschlossen ist. Insbesondere ist der Gesamtraum
von der angegebenen Form. Es sei eine Menge
-
gegeben. Ihr Komplement ist

Hierbei sind die
jeweils abgeschlossen und die
jeweils offen, sodass eine Menge in der gewünschten Form vorliegt.
Die Vereinigung von zwei Mengen in der angegebenen Form ist offensichtlich wieder von dieser Form.