Let , be Well-ordered sets.
Then is the set
with well-order as follows: