## Theorem

Let $\Pr$ be a probability measure on an event space $\Sigma$.

Let $A, B \in \Sigma$.

Then:

$\map \Pr {A \cup B} = \map \Pr A + \map \Pr B - \map \Pr {A \cap B}$

That is, the probability of either event occurring equals the sum of their individual probabilities less the probability of them both occurring.

This is known as the addition law of probability.

## Proof 1

By definition, a probability measure is a measure.

Hence, again by definition, it is a countably additive function.

By Measure is Finitely Additive Function, we have that $\Pr$ is an additive function.

$\blacksquare$

## Proof 2

$A$ is the union of the two disjoint sets $A \setminus B$ and $A \cap B$
$B$ is the union of the two disjoint sets $B \setminus A$ and $A \cap B$.

So, by the definition of probability measure:

$\map \Pr A = \map \Pr {A \setminus B} + \map \Pr {A \cap B}$
$\map \Pr B = \map \Pr {B \setminus A} + \map \Pr {A \cap B}$
$\paren {A \setminus B} \cap \paren {B \setminus A} = \O$

Hence:

 $\ds \map \Pr A + \map \Pr B$ $=$ $\ds \map \Pr {A \setminus B} + 2 \map \Pr {A \cap B} + \map \Pr {B \setminus A}$ $\ds$ $=$ $\ds \map \Pr {\paren {A \setminus B} \cup \paren {A \cap B} \cup \paren {B \setminus A} } + \map \Pr {A \cap B}$ Set Differences and Intersection form Partition of Union $\ds$ $=$ $\ds \map \Pr {A \cup B} + \map \Pr {A \cap B}$

Hence the result.

$\blacksquare$

## Also presented as

Some sources present this result as:

$\map \Pr {A \cup B} + \map \Pr {A \cap B} = \map \Pr A + \map \Pr B$

## Also known as

This result is also known as the sum rule, but then so are other results in mathematics.