Definition:Distributive Lattice

Definition
Let $\left({S, \vee, \wedge, \preceq}\right)$ be a lattice.

Then $\left({S, \vee, \wedge, \preceq}\right)$ is distributive iff:


 * $\forall x, y, z \in S: x \wedge \left({y \vee z}\right) = \left({x \wedge y}\right) \vee \left({x \wedge z}\right)$

That is, iff $\wedge$ is left distributive over $\vee$.

Also see

 * Join Distributes over Meet in Distributive Lattice
 * Meet Distributes over Join in Distributive Lattice