De Morgansche Gesetze (Mengenlehre)

Sei eine Menge \(\Omega\) gegeben, dann gilt für das absolutes Komplement \(\overline{E}, \overline{F}\) zweier Mengen \(E,F \subseteq \Omega\)

\begin{align*} \overline{E \cup F} =& \overline{E} \cap \overline{F} \\ \overline{E \cap F} =& \overline{E} \cup \overline{F} \end{align*}