El espacio vectorial de todas las derivadas de Lie en M forma a su vez un álgebra de Lie infinito dimensional con respecto al corchete de Lie.