El conjunto de todos los campos vectoriales en una variedad diferenciable es un álgebra de Lie sobre F, donde el producto es el corchete de Lie.