Definition:Zero (Ordinal)

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