Un retículo es un conjunto ordenado en el que cada subconjunto finito tiene un supremo e ínfimo. Los retículos pueden ser acotados (con un máximo y mínimo), complementarios (todos los elementos tienen un complementario), o distributivos (operadores meet y join distribuyen uno sobre el otro). Los homomorfismos son funciones que preservan la estructura entre dos retículos.