Fungsi tunggal tersebut adalah \(\bar f([x])=f(x)\text{.}\) Hipotesis menjamin keterdefinisiannya, dan surjektivitas \(q\) memaksa setiap faktorisasi lain mempunyai nilai yang sama pada semua kelas.