Un conjunto parcialmente ordenado en el que cada par de elementos tiene una mínima cota superior (join) y una máxima cota inferior (meet).

Principio

El cierre binario por join y meet dota a un poset de dos operaciones algebraicas que capturan supremos e ínfimos para pares, permitiendo un manejo algebraico de las relaciones de orden.

Demostración

La familia de subconjuntos de un conjunto, ordenada por inclusión, es un retículo donde join es la unión y meet la intersección; los subespacios de un espacio vectorial ordenados por inclusión forman en muchos casos un retículo con suma e intersección como operaciones.

Aplicación incorrecta

Suponer que cualquier conjunto parcialmente ordenado es un retículo o que la distributividad se cumple siempre; muchos posets carecen de joins/meets para cada par y muchos retículos no son distributivos.

Consecuencia

La estructura de retículo permite un cálculo algebraico del orden (identidades, homomorfismos, congruencias) y facilita especializaciones (retículos distributivos, modulares, booleanos) con propiedades más fuertes.

Inversión

Un semirretículo posee solo una de las dos operaciones binarias (solo meet o solo join); eliminar una operación debilita la estructura y las identidades disponibles.

Límite

La definición exige la existencia de join y meet para cada par; los retículos completos requieren joins/meets arbitrarios y constituyen una noción más fuerte; conceptos ordenísticos sin extremos por pares quedan fuera del alcance del retículo.

Tensión semántica

Tensión entre ver el retículo como objeto de orden y verlo como objeto algebraico mediante operaciones binarias: ciertos resultados favorecen la perspectiva poset, otros la perspectiva ecuacional; la distributividad marca otro refinamiento en competencia.

Síntesis

Un retículo reconcilia orden y álgebra: para cualesquiera dos elementos existen supremo e ínfimo, lo que proporciona operaciones binarias de join y meet que permiten razonar algebraicamente sobre el orden y definir subclases más ricas añadiendo identidades como distributividad o complementación.