# Cardinality of Set Union/2 Sets

## Theorem

Let $S_1$ and $S_2$ be finite sets.

Then:

$\card {S_1 \cup S_2} = \card {S_1} + \card {S_2} - \card {S_1 \cap S_2}$

## Proof

We have that Cardinality is Additive Function.

$\card {S_1 \cup S_2} + \card {S_1 \cap S_2} = \card {S_1} + \card {S_2}$

from which the result follows.

$\blacksquare$