Así, si X es un campo diferenciable de vectores, se define la derivada de Lie con respecto a X como la única derivación tensorial tal que: