Misalkan \(\sim\) relasi ekuivalensi pada himpunan \(X\) dan \(q:X\to X/\ssim\) proyeksi kanonis. Jika fungsi \(f:X\to Z\) memenuhi \(x\sim y\Rightarrow f(x)=f(y)\text{,}\) buktikan bahwa terdapat tepat satu fungsi \(\bar f:X/\ssim\to Z\) dengan \(f=\bar f\circ q\text{.}\)