The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Supremum of Ordinals
Let be a set of ordinals
Then there is some
that is an upper bound for
Then has a least upper bound and write