Fungsi \(\bar f([(x,y)])=x^2+y^2\) terdefinisi dengan baik dan bijektif. Fungsi \(f\) kontinu dan terbuka, sehingga merupakan pemetaan kuosien; sifat universal memberi kekontinuan \(\bar f\text{,}\) dan keterbukaan \(f\) memberi keterbukaan \(\bar f\text{.}\)