In de differentiaalmeetkunde, een deelgebied van de wiskunde, is een deelvariëteit van een variëteit M {\displaystyle M} een deelverzameling S ⊂ M {\displaystyle S\subset M}, die zelf de structuur van een variëteit heeft en waarvoor de inclusie-afbeelding S → M {\displaystyle S\rightarrow M} aan bepaalde eigenschappen voldoet. Wikipedia