Closed jaccokrijnen closed 11 months ago
R is compatible with structure: R x y -> R (f x) (f y) for all x, y and f (function symbol in the algebra/structure).
R is a congruence: R is an equivalence relation that is compatible.
https://en.wikipedia.org/wiki/Congruence_relation
Most of our translation relations are not equivalence relations, so the word congruence is not really applicable in general.
R is compatible with structure: R x y -> R (f x) (f y) for all x, y and f (function symbol in the algebra/structure).
R is a congruence: R is an equivalence relation that is compatible.
https://en.wikipedia.org/wiki/Congruence_relation
Most of our translation relations are not equivalence relations, so the word congruence is not really applicable in general.