Dalam suatu latis \(L\text{,}\) operasi biner \(\vee\) dan \(\wedge\) memenuhi hukum komutatif dan asosiatif; namun, keduanya tidak selalu memenuhi hukum distributif
\begin{equation*}
a \wedge ( b \vee c ) = (a \wedge b ) \vee ( a \wedge c );
\end{equation*}
Akan tetapi, dalam \({\mathcal P}(X)\text{,}\) hukum distributif terpenuhi karena
\begin{equation*}
A \cap ( B \cup C ) = (A \cap B ) \cup ( A \cap C )
\end{equation*}
untuk \(A, B, C \in {\mathcal P}(X)\text{.}\) Kita menyebut suatu latis \(L\) distributif jika hukum distributif berikut berlaku:
\begin{equation*}
a \wedge ( b \vee c ) = (a \wedge b ) \vee ( a \wedge c )
\end{equation*}
untuk semua \(a, b, c \in L\text{.}\)