Диффеоморфизм — взаимно однозначное и гладкое отображение F:M->N гладкого многообразия M в гладкое многообразие N, обратное к которому тоже является гладким.