Limit ordinal

A limit ordinal is a non-zero ordinal that doesn't have a predecessor. Formally, an ordinal \(\alpha>0\) is a limit ordinal iff \(\nexists\beta:S(\beta)=\alpha\)