Un poco más formalmente, podemos decir que una variedad de dimensión n es un espacio que se parece localmente a formula_1.