Let $(M,g)$ a semi Riemannian-Riemannian manifold, and let $\mathcal{G}$ a be Lie pseudogroup thatwhich acts by local isometries on $(M,g)$. Clearly the germs of all local killing vector fields at $p \in M$ formsform a lieLie algebra. What if I restrict myself to germs of those local killing fields, whose local flow is contained in $\mathcal{G}$? -- Do they form a lieLie algebra as well? If so, why?