Empty Set is Initial Object

Theorem
Let $\mathbf{Set}$ be the category of sets.

Then the empty set $\O$ is an initial object of $\mathbf{Set}$.

Proof
Follows from Empty Mapping is Unique and the definition of initial object.