Penutup kompak sebuah silinder memproyeksikan surjektif ke semua faktor yang tidak dibatasi, sehingga faktor-faktor itu kompak; semua faktor juga mewarisi kekompakan lokal melalui proyeksi dan irisan koordinat. Sebaliknya, hasil kali penutup lingkungan kompak adalah kompak oleh Tychonoff.