In der Mathematik, genauer der Algebra, nennt man eine Äquivalenzrelation auf einer algebraischen Struktur eine Kongruenzrelation, wenn die fundamentalen Operationen der algebraischen Struktur mit dieser Äquivalenzrelation verträglich sind.
Kongruenzrelation