Summation of Unity over Elements

Theorem
Let $S \subseteq \Z$ be a set of integers.

Let:
 * $n := \ds \sum_{j \mathop \in S} 1$

Then $n$ is equal to the cardinality of $S$.