Subset of Well-Founded Relation is Well-Founded

Theorem
Let $\struct {S, \RR}$ be a relational structure.

Let $\RR$ be a well-founded relation on $S$.

Let $\QQ$ be a subset of $\RR$.

Then $\QQ$ is also a well-founded relation on $S$.

Proof
$\struct {S, \QQ}$ is not a well-founded set.

By Infinite Sequence Property of Well-Founded Relation there exists an infinite sequence $\sequence {x_n}$ in $S$ such that:
 * $\forall n \in \N: \tuple {x_{n + 1}, x_n} \in \QQ \text { and } x_{n + 1} \ne x_n$

But then because $\QQ \subseteq \RR$, it follows that:
 * $\forall n \in \N: \tuple {x_{n + 1}, x_n} \in \QQ \implies \tuple {x_{n + 1}, x_n} \in \RR$

and it follows that:
 * $\forall n \in \N: \tuple {x_{n + 1}, x_n} \in \RR \text { and } x_{n + 1} \ne x_n$

Hence by Infinite Sequence Property of Well-Founded Relation it follows that $\RR$ is not a well-founded relation on $S$.

The result follows by Proof by Contradiction.