Cardinality of Set Union/General Case

Theorem
Let $S_1, S_2, \ldots$ be sets.

Then:

Proof
By Cardinality is Additive Function, we can apply the Inclusion-Exclusion Principle:

If $f: \mathcal S \to \R$ is an additive function, then: