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.

Others refer to a Boolean algebra as a Boolean ring or a Huntington algebra, both of which terms already have a different definition on ProofWiki.

Also known as
Common other notations include: $0$ and $1$ for $\bot$ and $\top$, respectively, and $a'$ for $\neg a$.

Also see

 * Huntington Algebra
 * Robbins Algebra