Misalkan \(\sim\) relasi ekuivalensi pada himpunan \(X\text{,}\) \(p:X\to X/\ssim\) proyeksi \(p(x)=[x]\text{,}\) dan \(f:X\to Y\) suatu fungsi yang memenuhi \(f(x_1)=f(x_2)\) setiap kali \(x_1\sim x_2\text{.}\) Buktikan bahwa rumus \(\overline f([x])=f(x)\) mendefinisikan fungsi \(\overline f:X/\ssim\to Y\) dengan baik.