Retículo Modular

Un retículo modular es un retículo que satisface la identidad modular: para todo x, y, z con x ≤ z, x ∨ (y ∧ z) = (x ∨ y) ∧ z. Esta condición es más débil que la distributividad pero más fuerte que los axiomas de retículo, y regula cómo interactúan join y meet cuando un elemento está por debajo de otro.