# Definition A *Lie Algebra of [[Vector Field|vector fields]]* on a region $U \subset M$ for some [[Manifold]] $M$, is a set $A$ of [[Vector Field|vector fields]] which forms a vector field under addition and is closed under the [[Lie bracket]]. The set of *all* $C^\infty$ vector fields on $U$ is clearly such a [[Lie Algebra]]