algebra Definition Distributive Lattice A lattice is called distributive if the following holds for all :