Se dice que el par formula_41 formado por la variedad topológica "M" de dimensión n y por la estructura diferenciable "F" de clase r es una variedad diferenciable de dimensión formula_42 y clase formula_30.