Inclusion-Exclusion Principle

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf Mathematical principle
gptkbp:alternativeName gptkb:PIE
Sieve principle
gptkbp:appliesTo gptkb:Probability_theory
Finite sets
gptkbp:field Combinatorics
gptkbp:firstPublished 19th century
gptkbp:form |A ∪ B| = |A| + |B| − |A ∩ B|
gptkbp:generalizes |A₁ ∪ A₂ ∪ ... ∪ Aₙ| = Σ|Aᵢ| − Σ|Aᵢ ∩ Aⱼ| + Σ|Aᵢ ∩ Aⱼ ∩ Aₖ| − ... + (−1)ⁿ⁺¹|A₁ ∩ ... ∩ Aₙ|
https://www.w3.org/2000/01/rdf-schema#label Inclusion-Exclusion Principle
gptkbp:namedAfter gptkb:Augustus_De_Morgan
gptkbp:relatedConcept gptkb:Bonferroni_inequalities
gptkb:Sieve_of_Eratosthenes
Mobius inversion formula
gptkbp:relatedTo Principle of Inclusion-Exclusion
gptkbp:used_in gptkb:Number_theory
gptkb:Set_theory
Computer science
Enumerative combinatorics
Probability calculations
gptkbp:usedFor Counting the size of the union of sets
gptkbp:bfsParent gptkb:Sieve_Methods
gptkbp:bfsLayer 8