Sets
Disjunctive normal form
Distributivity of sets