Definition:Embedded

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

Then $V$ is embedded in $W$ :
 * $V \subseteq W$

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