Generalized Well-Ordering Principle Question
I'm trying to do this proof, but I'm coming across questions about certain properties of well ordered sets that aren't answered by my material. Here's the problem I'm working on:
For any fixed integer , prove that the set is well-ordered.
In trying to prove this, but I've come across a question:
For any non-empty subset of , , we shall consider the set . Regardless of the set , , and thus is well-ordered (we have proven that the subset of a well-ordered set is well-ordered). Does this imply that is well-ordered? I can't seem to find any information in my class materials that show this to be true, and I can't really see how to prove that property.