Leading term of an ordinal
= Leading term of an ordinal
The leading term $\omega^\delta n$ is the highest-exponent term in Cantor normal form; the remaining tail is strictly below $\omega^\delta$.
= Leading term of an ordinal
The leading term $\omega^\delta n$ is the highest-exponent term in Cantor normal form; the remaining tail is strictly below $\omega^\delta$.