Inclusion-Exclusion Principle

Given finite sets and :

More generally: Let be a Measure Space. Let be sets of finite measure. Then:

where is the set of non-empty subsets of In particular, any observables in a Probability Space satisfy this relation.

Proof

The result follows by expanding the expression:

which is the indicator function for