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