Misalkan \((X,\tau_X)\) dan \((Y,\tau_Y)\) ruang topologi, \(f:X\to Y\) kontinu, dan \(A\) subhimpunan kompak dari \(X\text{.}\) Apa yang perlu ditunjukkan untuk membuktikan bahwa \(f(A)\) merupakan subhimpunan kompak dari \(Y\text{?}\) Dari mana pembuktian dimulai?