Topological Embedding

- Mathematics & Logic -
Pure Mathematics Dictionary
An injective continuous map f : X → Y between topological spaces such that f is a homeomorphism onto its image f(X) endowed with the subspace topology from Y; equivalently X is topologically identified with the subspace f(X) of Y.