Jabarkan Hubungan dengan homomorfisma dari Relasi kekongruenan

Jika  adalah homomorfisma antara dua struktur aljabar (seperti homomorfisma pada grup, atau sebuah pemetaan linear antar ruang vektor), maka relasi  yang didefinisikan sebagai