Un retículo distributivo es un retículo en el que meet y join se distribuyen mutuamente: para todo x, y, z, x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) (la ley dual con ∨ distribuyendo sobre ∧ es equivalente bajo los axiomas de retículo).

Principio

Imponer compatibilidad entre meet y join para que combinar e intersectar subconjuntos (u operaciones análogas) conmute de forma distributiva, permitiendo manipulaciones algebraicas semejantes a la distributividad en anillos o álgebra booleana.

Demostración

La potencia P(S) es un retículo distributivo porque la intersección distribuye sobre la unión y viceversa: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). Las álgebras booleanas son retículos distributivos con complementación.

Aplicación incorrecta

Suponer distributividad en retículos no distributivos (por ejemplo, el retículo de subespacios de un espacio vectorial de dimensión > 1) conduce a simplificaciones erróneas; aplicar identidades distributivas en retículos modulares pero no distributivos produce igualdades falsas.

Consecuencia

La distributividad permite representaciones canónicas (por elementos primos o irreducibles), teoremas de dualidad más sencillos y el uso de técnicas algebraicas análogas a la factorización; sustenta la lógica booleana y muchas simplificaciones combinatorias.

Inversión

Abandonar la distributividad conduce a clases más amplias como retículos modulares o generales; en el extremo opuesto, añadir complementos y distributividad produce álgebras booleanas, una subclase muy estructurada.

Límite

Los retículos distributivos requieren las leyes distributivas para todos los triples de elementos; los finitos se representan como retículos de down-sets de posets (representación de Birkhoff), pero en casos infinitos son necesarias condiciones adicionales de completitud.

Tensión semántica

La distributividad compite con la modularidad: los retículos modulares imponen una identidad más débil que se cumple en muchos retículos algebraicos (por ejemplo subespacios) donde la distributividad completa falla; la distinción es importante para teoremas de descomposición o dualidad.

Síntesis

Un retículo distributivo es un retículo donde meet y join obran según leyes distributivas, ofreciendo un entorno algebraico predecible similar a las operaciones sobre conjuntos y siendo la base estructural de la lógica booleana y numerosas representaciones combinatorias.