 The congruence lattice Con "A" of an algebra "A" is an algebraic lattice.The (∨,0)-semilattice of compact elements of Con "A" is denoted by Conc "A", and it is sometimes called the "congruence semilattice" of "A".Then Con "A" is isomorphic to the ideal lattice of Conc "A".