distributiver pseudokomplementärer Verband (V, ∧, ∨), in dem für jedes Element a ∈ V die Gleichung \begin{eqnarray}\begin{array}{cc}a^* \vee (a^*)^* =1\end{array}\end{eqnarray}

gilt. Hierbei bezeichne b^∗ für ein beliebiges Element b ∈ V das Pseudokomplement von b. Die Gleichung (1) wird auch als Stonesche Gleichung bezeichnet.