Cada homomorfismo es una función monótona entre los dos retículos, pero no cada función monótona da un homomorfismo de retículo: además necesitamos la compatibilidad con supremos e ínfimos finitos.