## [Retículo](/es/node/60206) Definición 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 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 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 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 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 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 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 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 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.