Diffeomorphism
A diffeomorphism between manifolds is an infinitely differentiable bijection whose inverse is also infinitely differentiable.