Definition:Ordinal Sequence/Length

Definition
Let $\alpha$ be an ordinal.

Let $\theta$ be an ordinal sequence whose domain is $\alpha$.

Then $\alpha$ can be referred to as the '''length of $\theta$.

Also see

 * Definition:Length of Sequence