# 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.