Congruence as an equivalence relation