UnterordnungM_< eines Verbandes L_< so, daß \begin{eqnarray}a{\wedge}_{L}b\in M,\ a{\vee}_{L}\in M,\end{eqnarray} für alle a, b ∈ M.

Ein erzeugter Unterverband ist ein Unterverband L[a₁, …, a_n] eines Verbandes L, der aus allen Verbandspolynomen in a₁, …, a>n ∈ L besteht.