An isomorphism of differentiable manifolds. i.e. a bijection where both directions are also differentiable.

basically a structure-preserving isomorphism, where the structure here is “neighbourhoods” or something.