Misalkan \(X\) ruang topologi, \(Y\) suatu himpunan, dan \(p:X\to Y\) suatu surjeksi. Pada \(X\text{,}\) definisikan \(x\sim_p y\) jika dan hanya jika \(p(x)=p(y)\text{.}\) Buktikan bahwa \(\sim_p\) merupakan relasi ekuivalensi.