Inclusion-exclusion principle
The union cardinality of a finite indexed set family is the alternating sum of intersection sizes over every nonempty index subset.
atlas-inclusion-exclusion-principle · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
The union cardinality of a finite indexed set family is the alternating sum of intersection sizes over every nonempty index subset.
atlas-inclusion-exclusion-principle · canonical_mko