Hi

are two isomorphic ordered sets iff there is a bijection between them such that

Let be a subset of there is a subset of such that and since f is injective, and are in bijection.

is well-ordered, so there is a and with properties, we have

Therefore is a well-order.