Definition:Boolean Algebra

Definition
A Boolean algebra is an algebraic structure $\left({S, \vee, \wedge}\right)$ such that:

Also defined as
Some sources define a Boolean algebra to be what on ProofWiki is called a Boolean lattice.

Also see

 * Huntington Algebra
 * Robbins Algebra