Let be a semigroup and let be an equivalence on . Show that is a congruence on if and only if for all , if and , then .
Recall that an equivalence on is a congruence if for all , if then and .
Suppose is a congruence, and suppose and . Certainly and , so we have and . So .
Conversely, if , then we have , so that and .