Subclass of Well-Ordered Class is Well-Ordered

Theorem
Let $V$ be a basic universe.

Let $\RR \subseteq V \times V$ be a relation.

Let $A$ be a subclass of $V$ which is well-ordered under $\RR$.

Let $B$ be a non-empty class subclass of $A$.

Then $B$ is also well-ordered under $\RR$.

Proof
Let $X$ be an arbitrary non-empty class subclass of $B$.

By Subclass of Subclass is Subclass, $X$ is a subclass of $A$.

Hence by definition of well-ordered class, $X$ has a smallest element under $\RR$.

As $X$ is arbitrary, it follows that every non-empty class subclass of $B$ has a smallest element under $\RR$.

Hence the result by definition of well-ordered class.