Q:

Do I misunderstand the definition of diffeomorphism?

I am reading Differential geometry of curves and surfaces by Do Carmo.But I am confused of the difinition of diffeomorphism:
A differential mapping $F:V⊂R^{n}→W⊂R^{n}$, where $V$ and $W$ are open sets, is called a diffeomorphism of $V$ with $W$ if $F$ has a differentiable inverse.
I am confused by the differientiable inverse. Does that mean you can define $F^{-1}:W→V$ where all points in $W$ are differentiable, or does it mean you only can find some subsets of $W$ that are differentiable?

A:

It means two things:

The function $F\colon\, V\longrightarrow W$ is a differentiable function which has an inverse $F^{-1}\colon\, W\longrightarrow V$.
The function $F^{-1}\colon W\longrightarrow V$ is differentiable, too.

