1: \begin{definition}\label{mixed-id-c} {\em (Pavi\v ci\'c, 

2: \cite{p98}.)\footnote{The proof of the opposite claim in 

3: \cite[Theorem 3.2]{pav93} is wrong.}}

4: A distributive ortholattice {\em (DL)\/} (also called a 

5: Boolean algebra) is an \/{\em OL\/} in which condition

6: (\ref{eq:qm-as-id-c}) (called {\em distributivity}) holds

7: \begin{eqnarray}

8: a\equiv_c b=1\qquad \Rightarrow\qquad a=b.\label{eq:qm-as-id-c}

9: \end{eqnarray}

10: \end{definition}

11: