证明，对于一个可微函数"f"，并且我们用在1-形式formula_22上的李导数的定义来结束本节：
性质.李导数有一些属性。令formula_24为流形"M"上的函数组成的代数。则是一个在代数formula_24上的导数。也就是，formula_27是R-线性的，并且类似的，它是formula_29上的一个导数，其中formula_30是"M"上的向量场的集合：也可写为等价形式其中张量积符号formula_33用于强调函数和向量场的积在整个流形上取。另