\begin{definition}[Definition:Embedding (Topology)]
Let $A, B$ be topological spaces.
Let $f: A \to B$ be a mapping.
Let the image of $f$ be given the subspace topology.
Let the restriction $f {\restriction_{A \times f \left({A}\right)}}$ of $f$ to its image be a homeomorphism.
Then $f$ is an '''embedding''' (of $A$ into $B$).
\end{definition}