[: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 homeomorphism
•
__Referenced by:__