Setiap \(f:X\to Y\) memfaktor secara tunggal melalui \(q\text{,}\) dan definisi topologi kuosien membuat faktor tersebut kontinu.