Is every non empty subset of the integers well ordered and does this mean that every subset contains a least element?
Are the positive rationals well ordered? i believe not.
Is this because of the fact that this set has no minimal element? Does every subset strictly smaller than the set of positive rationals have a least element? i believe it does but not sure
thanks
When a linear order is non-well-ordered, lots of its proper subsets are also non-well-ordered. For example, consider the set of negative even integers or the set of reciprocals of integer powers of $2$: these are proper subsets of the integers and the positive rationals respectively, and neither has a least element.
The definition of well-orderedness - "Every subset has a least element" - can feel weird at first. It's helpful to think instead in terms of descending sequences: a linear order $(L,<)$ is well-ordered iff it has no infinite descending sequence $a_1>a_2>a_3>...$. Thinking this way it should be clear e.g. that the positive rationals aren't well-ordered, because we can "count down" $${1\over 1}>{1\over 2}>{1\over 3}>{1\over 4}>...$$ An important thing to keep in mind is that a counterexample to well-orderedness - that is, an infinite descending sequence in the linear order in question - will not be unique: we can't speak of "the" descending sequence, but rather "a" descending sequence.