Remark 4.7.1.5. Let $(S, \leq )$ be a well-founded partially ordered set. Then every subset $S_0 \subseteq S$ is also well-founded (when endowed with the partial order given by the restriction of $\leq $).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$