Injection from Subset to Superset

Theorem

Let $A$ and $B$ be classes.

Let $A \subseteq B$.

Then there is an injection $f: A \to B$.

Proof

Let $f$ be the identity mapping.

Then $f$ is an injection by Identity Mapping is Injection.

$\blacksquare$