Definition:Length of Ordinal Sequence