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
Zero is defined as the cardinal of the empty set.

The result follows from Finite Cardinals and Ordinals are Equivalent.