Homeomorphism
Let $(X,\tau)$ and $(Y,\sigma)$ be topological spaces. Let $f \colon X \rightarrow Y$ be a function. We say that $f$ is a homeomorphism between $(X,\tau)$ and $(Y,\sigma)$ if the following properties are satisfied:
- $f$ is a bijection;
- $f$ is continuous;
- the inverse function function $f^{-1}$ is continuous.