Sorry for causing so much confusion. I raised a very stupid question and then realized that asked too soon.
Well, since we are at it, if you don't mind I would like to show you my proof so that you can evaluate whether it's legitimate.
Here we go:
We are asked to prove that for each integer , the set is a well-ordered set.
Let be a nonempty subset of . So we may say that or . In other words,
. Now we have inclusively in S, two separate sets, namely and
Case 1: Consider . In this case, since , we know by Well-ordering theorem that T is well-ordered.
Case 2: . We will take advantage of the symmetry of about zero. Now let
for every integer .
Since is a set of positive integers, again by Well ordering theorem, has a least element . Hence
for every . Therefore,
and for every . So by the Well-ordering theorem, has a greatest element ; therefore, is also well-ordered.
Consequently, is well-ordered.
Question: I am trying to avoid having to deal with the zero, I contrived
. Is this legitimate?
I answer about your proof.
Your first case proof is correct, but try again for the second one. You cannot use symmetry about see that what you wrote applies for you did not use the fact that S has a minimal element and therefore is finite (and of course a finite set of integers is well ordered by the restriction of the natural order).
Recall that a well ordered set is an ordered set whose any non-empty subset has a minimal element; having a maximal element does not make your order be a well order.
Let be a subset of a well-ordered set with the following properties:
where is the least element in , and the set of elements precede .
However, I am still at the elementary level where the chapter has not cover Principle of Transfinite Induction. So I would like to do my best without using it and see if I could prove it at my level.
Let's try again:
We have proved that since being a nonempty subset of and that , it follows that has a least element ; therefore, is well-ordered.
Now in case 2: where and .
Suppose that none of the least element is the first element of , then and . Hence has a least element and the largest element . As a consequence, is a finite set of integers. Since every nonempty finite set of real numbers is well-ordered, T-N is well-ordered, so is .
I hope it works this time.