# 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?

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: