Topological embedding

Let and be topological spaces and be a continuous map. is called an embedding if it is a homeomorphism on . Slightly more rigourously, if

is a homeomorphism (restricting the domain) then is an embedding.

Examples

Consider where . This is an embedding since is a homeomorphism.