Langkah 1. Jika \(f\) kontinu, maka \(f^{-1}(\Int(B))\) adalah himpunan terbuka yang termuat dalam \(f^{-1}(B)\text{.}\)

Langkah 2. Jika inklusi diasumsikan dan \(O\) terbuka, gunakan \(\Int(O)=O\) serta \(\Int(f^{-1}(O))\subseteq f^{-1}(O)\text{.}\)