eines Verbandes (V, ≤₁), Verband (V, ≤₂), in dem für alle Elemente a, b ∈ V die Relation a ≤₂b genau dann gilt, wenn b ≤₁a gilt. Es gelten für alle Elemente a, b ∈ V die Gleichungen

\begin{eqnarray}a{\wedge }_{2}b=a{\vee }_{1}b\end{eqnarray}

\begin{eqnarray}a{\vee }_{2}b=a{\wedge }_{1}b,\end{eqnarray}