Distributive Lattice

A distributive lattice is a lattice in which meet and join distribute over each other: for all x, y, z, x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) (equivalently dual law with ∨ distributing over ∧). Both forms are equivalent in the presence of lattice axioms.