Lattice homomorphism