Misalkan \(X\) himpunan tak kosong, \(p\in X\text{,}\) dan \(\tau_p\) topologi titik tertentu: himpunan terbuka tak kosong adalah tepat subhimpunan yang memuat \(p\text{.}\) Tentukan, dengan bukti, semua subhimpunan kompak \(A\subseteq X\text{.}\)