Well-Ordering formulation correct?

1. Nov 12, 2007

andytoh

I looked for the most generalized lexicographical (dictionary) order on an arbitrary cartesian product in textbooks but I could not find it. So I posed my own theorem (in the form of a proof question). Is the formulation correct?

http://img409.imageshack.us/img409/5022/questionkk4.jpg [Broken]

Last edited by a moderator: May 3, 2017
2. Nov 12, 2007

andytoh

Here's my proof. Could someone versed in set theory check if my proof is correct? I cannot find the proof in any textbook:

http://img143.imageshack.us/img143/5948/solutionbh8.jpg [Broken]

Last edited by a moderator: May 3, 2017