Modular Lattice

- Mathematics & Logic -
Pure Mathematics Dictionary
A modular lattice is a lattice satisfying the modular identity: for all x, y, z with x ≤ z, x ∨ (y ∧ z) = (x ∨ y) ∧ z. This condition is weaker than distributivity but stronger than arbitrary lattice axioms, and it controls how join and meet interact when one element is below another.