Definition:Boolean Algebra

Definition 2
The operations $\vee$ and $\wedge$ are called join and meet, respectively.

The identities $\bot$ and $\top$ are called bottom and top, respectively.

Also, $\neg a$ is called the complement of $a$.

The operation $\neg$ is called complementation.

Equivalence of Definitions
These definitions are shown to be equivalent in Equivalence of Definitions of Boolean Algebra.

Also see

 * Definition:Huntington Algebra
 * Definition:Robbins Algebra


 * Duality Principle (Boolean Algebras)