Cardinality of Empty Set

Theorem

 * $$\left|{S}\right| = 0 \iff S = \varnothing$$

That is, the empty set is finite, and has a cardinality of zero.

Proof
From the definition of $\varnothing$, $$\varnothing$$ is the set with no elements.

The result follows from this and the definition of cardinality.