lattice homomorphism., lattice of intermediate logics, lattice of the normal extensions of the modal logic S4.
