Entonces el campo vectorial "X" es invariante por la izquierda si, para cualquier función diferenciable o analítica "f": "G" → F (aquí F es el cuerpo R o C), se cumple "X"("f" L)=("X" "f")L, para todo "g" en "G".