lattices '''pic nbsp ''' monotonic map math f math lattices preserves neither joins meets since math f u vee f v u prime vee u prime u prime math math neq math math prime f f u vee v math math f u wedge f v u prime wedge u prime u prime math math neq math math prime f f u wedge v math appropriate notion morphism two lattices flows easily algebraic definition given two lattices math left l vee l wedge l right math math left vee wedge right math '''lattice homomorphism''' ''l'' ''m'' function math f l math math b l math math display block f left
Formal science Mathematics Pure mathematics Algebra Lattice theory