Jika \(A'\subseteq C\text{,}\) maka kedua himpunan \(A\) dan \(A'\) termuat dalam \(C\text{.}\) Oleh karena itu, \(A\cup A'\subseteq C\text{.}\) Identitas \(\overline{A}=A\cup A'\) kemudian memberikan \(\overline{A}\subseteq C\text{.}\) Tidak diperlukan syarat tambahan terhadap titik-titik \(A\) karena inklusinya sudah menjadi asumsi.