容斥律

inclusion-exclusion principle