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.
Disjoint Union of Well Ordered Sets
Let , be Well-ordered sets.
Then is the set
with well-order as follows: