In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self-dual condition:

Modular law

x ≤ b implies x ∨ (a ∧ b) = (x ∨ a) ∧ b,