Kesamaan nilai \(q\) mewarisi ketiga sifat relasi ekuivalensi. Definisi kelas memberi \([x]=q^{-1}(\{q(x)\})\text{.}\) Kesamaan kelas menjamin \(\bar q\) terdefinisi dengan baik dan injektif, sedangkan surjektivitas \(q\) memberi surjektivitas \(\bar q\text{.}\)