vee l b right f vee f b text math math display block f left wedge l b right f wedge f b math thus math f math homomorphism two underlying semilattices lattices structure considered morphisms respect extra structure particular '''bounded lattice homomorphism''' usually called lattice homomorphism math f math two bounded lattices math l math math math also following property math display block f left l right text math math display block f left l right math order theoretic formulation conditions state homomorphism lattices function preserving binary meets joins bounded
Formal science Mathematics Pure mathematics Algebra Lattice theory