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