See http://en.wikipedia.org/wiki/Boolean_algebra
----
See also LatticeStructure

CategoryMath