というか、「対角化による収束列の定義」でないの。
それを順序数という形で表記するか、別の形で表記するか、
というだけの違い。