De Morgan's laws
Inside a universe formula_33 one may define the complement formula_34 of formula_1 to be the set of all elements of formula_36 not in formula_7 Furthermore, the intersection of formula_1 and formula_5 may be written as the complement of the union of their complements, derived easily from De Morgan's laws: