Prapeta selimut buka bagi \(f(X)\) menyelimuti \(X\text{.}\) Subselimut berhingga bagi prapeta itu menghasilkan subselimut berhingga bagi \(f(X)\text{.}\) Jika \(f\) surjektif, \(f(X)=Y\text{;}\) khususnya, homeomorfisme mempertahankan kekompakan.