Darstellung a = p₁ ∨ ··· ∨ p_n eines Elements a eines Verbandes L mittels der irreduziblen Elemente p_i, i =1, …, n des Verbandes L, falls gilt \begin{eqnarray}\alpha \gt {p}_{1}\vee \mathrm{...}\vee {p}_{i-1}\vee {p}_{i+1}\vee \mathrm{...}\vee {p}_{n}\end{eqnarray}

für alle i = 1, …, n.