[:topological embedding:] • Given an injective continuous function $f : X \to Y$ between two topological spaces, we call $f$ an embedding of $X$ in $Y$ if when we restrict the codomain of $f$ to its image (as a subspace topology) to produce a bijection, we get a homeomorphismReferenced by: