Relasi kekongruenan

Dalam aljabar abstrak, relasi kekongruenan adalah relasi ekuivalensi pada struktur aljabar yang sesuai dengan struktur yang bersangkutan; dalam artian hasil operasi aljabar dari elemen yang ekuivalen akan menghasilkan elemen yang ekuivalen. Setiap relasi kekongruenan memiliki kelas-kelas kesetaraan yang bersesuaian untuk relasi tersebut.