Misalkan \(X\) ruang topologi. Buktikan bahwa \(X\) kompak jika dan hanya jika setiap keluarga himpunan tertutup \(\{F_\alpha\}_{\alpha\in I}\) yang mempunyai sifat irisan berhingga memenuhi \(\bigcap_{\alpha\in I}F_\alpha\ne\emptyset\text{.}\)