noun.
A differentiablehomeomorphism (with differentiable inverse) between differentiable manifolds.
Word Usage
"The Hamiltonian constraint NH = 0 defines a diffeomorphism structure on spatial manifolds by the lapse function N, but this is not identical to time."