 Cantor normal form

Every nonzero ordinal has a unique finite expression ${\omega }^{{\delta }_1}{n}_1+\cdots +{\omega }^{{\delta }_r}{n}_r$ with decreasing exponents and positive finite coefficients.