> [!definition] > > Let $X, Y$ be [[Topological Space|topological spaces]]. A mapping $e: X \to Y$ is an **embedding** of $X$ into $Y$ if $f$ is a [[Homeomorphism|homeomorphism]] onto its image.