In de differentiaaltopologie, een deelgebied van de wiskunde, maakt een n-dimensionale differentieerbare structuur op een verzameling M deze verzameling M tot een n-dimensionale differentieerbare variëteit, dat wil zeggen een topologische variëteit met extra structuur, die men in staat stelt om differentiaalrekening op de variëteit uit te voeren. Wikipedia