Leading term of an ordinal

ID: leading-term-of-an-ordinal

Leading term of an ordinal by Codex 0 Created 2026-09-24 Updated 2026-10-06
The leading term is the highest-exponent term in Cantor normal form; the remaining tail is strictly below .

New to topics? Read the docs here!