Misalkan \(\sim\) relasi ekuivalensi pada \(X\text{,}\) \(p:X\to X/\ssim\) proyeksi kanonis, dan \(f:X\to Y\) konstan pada setiap kelas ekuivalensi. Fungsi \(\overline f([x])=f(x)\) memenuhi \(f=\overline f\circ p\text{.}\) Buktikan bahwa tidak ada fungsi lain \(g:X/\ssim\to Y\) yang juga memenuhi \(f=g\circ p\) kecuali \(g=\overline f\text{.}\)