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.
New to topics? Read the docs here!