An $n$-dimensional Differentiable Manifold is a pair $(X, A)$, where $A$ is a collection of charts $(\varphi_\alpha : V_\alpha \longrightarrow U_\alpha)$ such that the images cover $X$:

where $U_a = \varphi_\alpha(V_\alpha)$ and for every pair of charts $\varphi_\alpha : V_\alpha \rightarrow U_\alpha$ and $\varphi_\beta : V_\beta \rightarrow U_\beta$, the sets $\varphi^{-1}_\beta(U_\alpha \cap U_\beta)\subset \mathbb{R}^n$ and $\varphi^{-1}_\alpha (U_\alpha \cap U_\beta)\subset \mathbb{R}^n$ are open and the functions

and

are differentiable.