Continuous injection
= Continuous injection
{title2=$f:X\hookrightarrow Y$}
A <continuous map> that is also an <injective function>. A <continuous injection> need not be a <topological embedding>: its inverse on its <image> need not be <continuous>. If its source is a <compact space> and its target is a <Hausdorff space>, however, the <compact-to-Hausdorff continuous bijection theorem> makes that inverse <continuous>.