Misalkan \(A\subseteq(X,\tau_X)\) dan \(\tau_A\) topologi subruang pada \(A\text{.}\) Buktikan bahwa \(A\) kompak sebagai subhimpunan dari \(X\) jika dan hanya jika \((A,\tau_A)\) merupakan ruang topologi kompak.