Definition:Boolean Algebra

Order-Theoretic Definition
A Boolean algebra is a complemented distributive lattice.

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