Inclusion-Exclusion for Two Sets

Count the union of two sets by adding their sizes and subtracting the double-counted overlap.