Una variedad es el objeto geométrico estándar en matemática que generaliza la noción intuitiva de curva y de superficie a cualquier dimensión y sobre cuerpos variados (no forzosamente el de los reales); Un poco más formalmente, podemos decir que una variedad de dimensión n es un espacio que se parece localmente a . Esto nos hace pensar que una variedad está compuesta de parches n-dimensionales, que donde los parches se traslapan están pegados topológicamente.