Distributive Lattice

algebra

Definition

Distributive Lattice

A lattice $(L,\wedge ,\vee )$ is called distributive if the following holds for all $a,b,c\in L$:

1. $a\wedge (b\vee c)=(a\wedge b)\vee (a\wedge c)$
2. $a\vee (b\wedge c)=(a\vee b)\wedge (a\vee c)$