A diffeomorphism[1] is a special kind of homeomorphism, a function f is said to be a diffeomorphism if: