Misalkan \((X,\tau_X)\) dan \((Y,\tau_Y)\) ruang topologi, \(f:X\to Y\) kontinu, \(A\subseteq X\) kompak, dan \(\{V_\alpha\}_{\alpha\in I}\) selimut buka bagi \(f(A)\) dalam \(Y\text{.}\) Bagaimana kita dapat menemukan selimut buka \(\{U_\alpha\}\) bagi \(A\text{?}\) Verifikasikan bahwa keluarga yang diusulkan benar-benar merupakan selimut buka bagi \(A\text{.}\)