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.