Definition:Topological Open Embedding

Definition
Let $X$ and $Y$ be topological spaces.

Let $f : X \to Y$ be a mapping.

Then $f$ is a (topological) open embedding :
 * $f$ is a topological embedding
 * its image $f(X)$ is open in $Y$

Also known as
A (topological) open embedding is also known as a (topological) open immersion.

Also see

 * Definition:Topological Closed Embedding