Modular lattice

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

where  ≤  is the partial order, and  ∨  and  ∧ (called join and meet respectively) are the operations of the lattice. For an intuition behind the modularity condition see and below.