Himpunan \(\overline{A}\cup\overline{B}\) tertutup dan memuat \(A\cup B\text{.}\) Untuk inklusi sebaliknya, gunakan \(A\subseteq A\cup B\) dan \(B\subseteq A\cup B\text{.}\)