Natural extension of a congruence of a lattice to its lattice of convex sublattices
Let be a lattice. In this paper, corresponding to a given congruence relation of , a congruence relation on is defined and it is proved that 1. is isomorphic to ; 2. and are in the same equational class; 3. if is representable in , then so is in .