Editing Inclusion–exclusion principle (section)

===Special case===

If, in the probabilistic version of the inclusion–exclusion principle, the probability of the intersection ''A''<sub>''I''</sub> only depends on the cardinality of ''I'', meaning that for every ''k'' in {1,&nbsp;...,&nbsp;''n''} there is an ''a<sub>k</sub>'' such that

:<math>a_k=\mathbb{P}(A_I) \text{ for every } I\subset\{1,\ldots,n\} \text{ with } |I|=k,</math>

then the above formula simplifies to

:<math>\mathbb{P}\left(\bigcup_{i=1}^n A_i\right) =\sum_{k=1}^n (-1)^{k-1}\binom n k a_k </math>

due to the combinatorial interpretation of the [[binomial coefficient]] <math display="inline">\binom nk</math>. For example, if the events <math>A_i</math> are [[independent and identically distributed]], then <math>\mathbb{P}(A_i) = p</math> for all ''i'', and we have <math>a_k = p^k</math>, in which case the expression above simplifies to

:<math>\mathbb{P}\left(\bigcup_{i=1}^n A_i\right) = 1 - (1-p)^n. </math>

(This result can also be derived more simply by considering the intersection of the complements of the events <math>A_i</math>.)

An analogous simplification is possible in the case of a general measure space <math>(S, \Sigma, \mu)</math> and measurable subsets <math>A_1, \dots, A_n</math> of finite measure.

There is another formula used in [[Point process notation|point processes]]. Let <math>S</math> be a finite set and <math>P</math> be a random subset of <math>S</math>. Let <math>A</math> be any subset of <math>S</math>, then

<math display="block">\begin{aligned}
\mathbb{P}(P = A) &= \mathbb{P}(P \supset A) - \sum_{j_1 \in S \setminus A} \mathbb{P}(P \supset A \cup {j_1}) \\
&+ \sum_{j_1, j_2 \in S \setminus A \ j_1 \ne j_2} \mathbb{P}(P \supset A \cup {j_1, j_2}) + \dots \\
&+ (-1)^{|S|-|A|} \mathbb{P}(P \supset S) \\
&= \sum_{A \subset J \subset S} (-1)^{|J|-|A|} \mathbb{P}(P \supset J).
\end{aligned}
</math>