Cuando además formula_111, entonces se dice que formula_105 es una variedad diferenciable (de dimensión formula_42 y clase formula_30).