Cardinality of Set Union/General Case

Theorem
Let $\sequence {S_n}_{n \mathop \in \N}$ be a sequence of sets.

Then:

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

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