定義
M と N を多様体とする。
可微分写像 ψ: M → N が全単射で ψ^(-1) が可微分であるとき
ψ を微分同相写像または略して微分同相という。

このとき、M と N は微分同相であると言う。