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