Definition 4.0.1 · Principle of Inclusion and Exclusion
The principle of inclusion and exclusion (PIE) is a counting technique that computes the number of elements that satisfy at least one of several properties, while making sure that elements satisfying more than one property are not counted twice.