\begin{definition}[Definition:Embedded]
Let $V$ and $W$ be normed vector spaces.
Then $V$ is '''embedded''' in $W$ {{iff}}:
: $V \subseteq W$
The inclusion mapping $i_V : V \to W$ is an '''embedding''' of $V$ into $W$.
Category:Definitions/Functional Analysis
\end{definition}