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 existen: