Dada una variedad diferenciable formula_1 de dimensión "n" y un conjunto de "n" campos vectoriales formula_2 definidos sobre un conjunto abierto "A" esa variedad tales que en cada punto forman una base vectorial del espacio tangente a la variedad, es una base natural si y sólo si existe una carta local o sistema de coordenadas local formula_3 que cumpla alguna de las siguientes condiciones: