 The function that maps every element of "A" to its equivalence class is a homomorphism, and the kernel of this homomorphism is ~.The lattice Con("A") of all congruence relations on an algebra "A" is algebraic.John M. Howie described how semigroup theory illustrates congruence relations in universal algebra