Misalkan \(A\) subhimpunan kompak dari ruang topologi Hausdorff \(X\text{.}\) Untuk membuktikan bahwa \(A\) tertutup, kita mempertimbangkan \(X\setminus A\text{.}\) Sifat apa yang harus dimiliki \(X\setminus A\text{,}\) dan bagaimana sifat itu dapat dibuktikan?