Complements
Commutative
Associative
Absorption
Universal Set
Empty Sets
Distributive
De Morgan's
Inclusion