Tahap 1. Ambil sebarang \(V\subseteq Y\text{.}\)

Tahap 2. Karena \(X\) diskret, \(f^{-1}(V)\) terbuka dalam \(X\text{.}\)

Tahap 3. Gunakan kekontinuan \(f^{-1}\text{,}\) atau fakta bahwa homeomorfisme merupakan pemetaan terbuka.