Serat \(f\) adalah kelas modulo bilangan bulat, sehingga \(\bar f\) bijektif. Fungsi \(f\) kontinu dan terbuka; karena \(f=\bar f\circ q\text{,}\) sifat kuosien memberi kekontinuan \(\bar f\text{,}\) sedangkan keterbukaan \(f\) memberi keterbukaan \(\bar f\text{.}\) Jadi inversnya kontinu.