up:: Lattice
Given a lattice it is said to be distributive if its operators distribute according to
Properties
Every distributive and limited lattice has unique complements. This motivates the definition of a Boolean Algebra.
up:: Lattice
Given a lattice (X,∧,∨) it is said to be distributive if its operators distribute according to
a∧(b∨c)a∨(b∧c)=(a∧b)∨(a∧c)=(a∨b)∧(a∨c)Every distributive and limited lattice has unique complements. This motivates the definition of a Boolean Algebra.