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