Dada una variedad topológica formula_4 y un número entero formula_28, una estructura diferenciable (o atlas maximal) formula_29 de clase formula_30 sobre formula_4 es una familia formula_32 de sistemas coordenados sobre formula_4 de manera que se cumpla que: