# Embedding

Let $(X,\tau_1)$ and $(Y,\tau_2)$ be topological spaces. A function $f \colon X \rightarrow Y$ is called an embedding if $f$ is one-to-one, continuous, and a homeomorphism onto its image $f[X]$.