Definition:Zero (Ordinal)

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

Also see

 * Definition:Natural Numbers as Elements of Minimal Infinite Successor Set, where the zero of the natural numbers is also defined as $\varnothing$