Cardinality of Empty Set

Theorem

 * $\card S = 0 \iff S = \O$

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.