Cofinality of an increasing ordinal supremum ($\mathrm{cf}({\sup }_{\xi <\alpha }{\gamma }_{\xi })=\mathrm{cf}(\alpha )$)

If $\alpha$ is a nonzero limit ordinal and $({\gamma }_{\xi }{)}_{\xi <\alpha }$ is strictly increasing, then $\mathrm{cf}({\sup }_{\xi <\alpha }{\gamma }_{\xi })=\mathrm{cf}(\alpha )$. A cofinal subsequence of the index order gives one inequality. Conversely, a cofinal family in the supremum determines a cofinal family of indices by choosing an index past each of its values. This also explains the cofinality of limit-indexed aleph numbers.