Kesimetrian praurutan tepat menyatakan ketakterbedaan topologis. Kelas yang berbeda dibedakan oleh himpunan buka jenuh, sehingga kuosiennya \(T_0\text{.}\) Faktorisasi diberikan oleh \(\bar f([x])=f(x)\) dan unik karena \(q\) surjektif.