> [!definition] > > Let $M$ and $N$ be [[Manifold|manifolds]]. A $C^p$-[[Manifold Morphism|morphism]] $f: M \to N$ is a $C^p$-**diffeomorphism** if $f$ is invertible, and $f^{-1}: M \to N$ is also a $C^p$-morphism.