2007, Jan Kubarski, Geometry and Topology of Manifolds: The Mathematical Legacy of Charles Ehresmann; on the Occasion of the Hundredth Anniversary of His Birthday, page 358,
In this case, and are both D-open and is a diffeomorphism where and are equipped with their subset diffeology.