Definition:Distributive Lattice

Definition
A lattice $L\left({L,\vee,\wedge}\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)$.