Solutions: Inductive techniques applied to the infinite

Since each initial segment in W is a subset of W , S ⊆ W . Suppose that S 6= W , and put Y =W \S. Since ∅ 6= Y ⊂W and W is well-ordered, Y has a least element y. Then S = seg(y). The proof for closed segments is similar.