Tahap 1: teorema sebelumnya sudah memberi bahwa \(\overline{A}\) tertutup, dan definisinya memberi \(A\subseteq\overline{A}\text{.}\) Tahap 2: ambil sembarang himpunan tertutup \(C\) dengan \(A\subseteq C\) dan tentukan inklusi yang harus dibuktikan.