ein Verband (V, ≤), in dem für alle Elemente a, b, c ∈ V mit a ≤ c die Gleichung \begin{eqnarray}\text{sup}(a,\,\text{inf}(b,\,c))\,=\,\text{inf}(\text{sup}(a,\,b),\,c)\end{eqnarray}

gilt.

Jeder distributive Verband ist modular.