Definition:Embedded

Definition
Let $V$ and $W$ be normed vector spaces.

Then $V$ is embedded in $W$ if $V \subseteq W$.

The inclusion mapping $\operatorname{id} : V \to W$ is an embedding of $V$ into $W$.