View source for Topological embedding

{{Stub page|grade=A|msg=Link in with subspace topology, important for disjoint union topology}}
__TOC__
==Definition==
An [[injective]] and ''[[continuous]]'' [[map]] that is a [[homeomorphism]] onto its {{link|image|map}} (considering that image as imbued with the [[subspace topology]]) is called a ''topological embedding''{{rITTMJML}} (or just an ''embedding'' if the context makes this obvious)<ref name="ITTMJML"/>
==Results==
* [[The canonical injection for a topological subspace is a topological embedding]]
* [[A continuous injective map that is either an open map or a closed map is a topological embedding]]
**  There are topological embeddings that are neither closed or open. 
* [[A surjective topological embedding is a homeomorphism]]
{{Todo|Example of embedding that is neither a [[closed map]] or an [[open map]]}}
==References==
<references/>
{{Topology navbox|plain}}
{{Definition|Topology}}