ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3858 on R5711: Inclusion-exclusion principle for probability of binary union for disjoint sets
P3858
Since $\mathbb{P}(E \cap F) = \mathbb{P}(\emptyset) = 0$, this result is a special case of R4445: Inclusion-exclusion principle for probability of binary union. $\square$