In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self-dual condition, Modular law a ≤ b implies a ∨ = ∧ b where x, a, b are arbitrary elements in the lattice, ≤ is the partial order, and... Wikipedia