finite union of closed sets

Sei \(n \in \mathbb{N}\) und \(K_i\) eine Mengenfamilie von abgeschlossene Mengen. Dann ist:

\begin{align*} \bigcup_{i \in \{1,...,n\}} K_i \end{align*}

ebenfalls eine abgeschlossene Mengen.

Korollar von den De Morganschen Gesetzen