Dann erhält man eine Abbildung : Da bzw. auf den entsprechenden Definitionsbereichen einen Isomorphismus bzw. Diffeomorphismus definiert, ist auch ebenfalls diffeomorph und kann somit als Kartenabbildung angesehen werden.