Una propiedad fundamental de las variedades es que el conmutador de las operaciones de derivada de Lie sobre dos campos vectoriales es equivalente a la derivada de Lie respecto de algún campo vectorial, que se será su corchete de Lie.