Misalkan \(q:X\to Y\) surjektif dan definisikan \(x\sim x'\) jika dan hanya jika \(q(x)=q(x')\text{.}\) Buktikan bahwa \(\sim\) merupakan relasi ekuivalensi, bahwa kelas \([x]\) tepat sama dengan serat \(q^{-1}(\{q(x)\})\text{,}\) dan bahwa aturan \(\bar q([x])=q(x)\) menentukan bijeksi \(\bar q:X/{\sim}\to Y\text{.}\)