BooleanAlgebra

A boolean algebra is a lattice (see LatticEs) which satisfies the following properties:

There exists some element 0, such that av0=a for all a (bounded below)

There exists some element 1, such that a^1=a for all a (bounded above)

For all a,b,c, (avb)^c=(a^c)v(b^c) (distributive law)

For all a, there exists an e