# 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.