Congruence classes in universal algebra