Definition:Zero (Ordinal)

Definition
The zero ordinal, denoted $0$, is the empty set $\O$.

Also see

 * Definition:Von Neumann Construction of Natural Numbers, where the zero of the natural numbers is also defined as $\O$