Un mapaψ:L→M es un homomorfismo de celosía siψ(a∨b)=ψ(a)∨ψ(b) yψ(a∧b)=ψ(a)∧ψ(b). Mostrar que cada homomorfismo de c...Un mapaψ:L→M es un homomorfismo de celosía siψ(a∨b)=ψ(a)∨ψ(b) yψ(a∧b)=ψ(a)∧ψ(b). Mostrar que cada homomorfismo de celosía es conservadora de orden, pero que no es el caso de que todo homomorfismo conservador de orden sea un homomorfismo de celosía.
