Boolean algebra

A Boolean algebra is an algebra in which the binary operations are chosen to model the union and intersection operations in Set Theory.
For any set AA, the subsets of AA form a Boolean algebra under the operations of union, intersection and complement.