En el lenguaje del álgebra abstracta, los campos vectoriales cocerrados forman un subálgebra del álgebra de Lie de los campos vectoriales suaves en "M", y los campos vectoriales coexactos forman un ideal de este subálgebra.