Is $x:\emptyset\to\emptyset$ a chart?

64 Views Asked by At

In the definition of a manifold, one defines, in particular, a chart as a homeomorphism $x:U\to O$ where $U\subseteq M$ is an open set of the topological space $M$ and $O\subseteq \mathbb{R}^n$.

Question : Is the empty function $x:\emptyset\to\emptyset$ a chart ?

I think the answer is vacuously yes.