Topological embedding

Let \(X\) and \(Y\) be topological spaces. A continuous map \(f\colon X\to Y\) is a topological embedding if it is injective and the map \(X\to f(X)\), \(x\mapsto f(x)\), is a homeomorphism, where \(f(X)\) carries the subspace topology.