Category:Embeddings (Topology)

This category contains results about embeddings in the context of topology.
Definitions specific to this category can be found in Definitions/Embeddings (Topology).

Let $A, B$ be topological spaces.

Let $f: A \to B$ be a mapping.

Let the image of $f$ be given the subspace topology.

Let the restriction $f {\restriction_{A \times f\sqbrk A }}$ of $f$ to its image be a homeomorphism.

Then $f$ is an embedding (of $A$ into $B$).