\begin{definition}[Definition:Non-Limit Ordinal]
An ordinal $\lambda$ is a '''non-limit ordinal''' {{iff}} it is not a limit ordinal.
That is, either the zero ordinal or a successor ordinal.
\end{definition}