A congruence relation is an equivalence relation whose domain X is also the underlying set for an algebraic structure, and which respects the additional structure.
Μια σχέση αντιστοιχίας είναι μια σχέση ισοδυναμίας της οποίας το πεδίο X είναι επίσης η βασική σειρά για μια αλγεβρική δομή, και η οποία σέβεται την πρόσθετη δομή.