> [!definition] > > Let $X, Y$ be $C^p$-[[Manifold|manifolds]], and $f: X \to Y$ be an [[Immersion|immersion]]. If $f: X \to f(X)$ is a [[Homeomorphism|homeomorphism]], then $f$ is an **embedding**.