Download PDF - On a Galois correspondence between the lattice of ideals and the lattice of congruences on a lattice L