Coba jelasin Hubungan dengan homomorfisma dari Relasi kekongruenan dong

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