Grothendieck Universe is Closed under Subset

Theorem
Let $\mathbb U$ be a Grothendieck universe.

Let $u \in \mathbb U$.

Let $v \subseteq u$ be a subset of $u$.

Then $v \in \mathbb U$.