De Morgan's Laws and Cardinality $(A \cup B)' = A' \cap B'$ $(A \cap B)' = A' \cup B'$ $n(A \cup B) = n(A) + n(B) - n(A \cap B)$ Next: Relations and Functions →