Subset of Well-Ordered Set is Well-Ordered/Proof 1

Proof
Let $X \subseteq T$ such that $X \ne \O$.

By Subset Relation is Transitive, $X \subseteq S$.

By the definition of a well-ordered set, $X$ has a smallest element.

It follows by definition that $T$ is well-ordered.

Hence the result.