Diremos que formula_118 es una variedad diferenciable en formula_115 de dimensión formula_120 (donde formula_121 es un número entero) y clase formula_122 (donde formula_123 es un número entero) si para cada formula_124 existe un entorno abierto formula_125 de formula_126 y una aplicación formula_127 de manera que: