Definition:Distributive Lattice

Definition
A lattice $\left({L,\preceq}\right)$ is distributive if and only if

for all $x,\,y,\,z \in L$, $x \wedge \left({y \vee z}\right) = \left({x \wedge y}\right) \vee \left({x \wedge z}\right)$.