lattice homomorphism