Let M and N be manifolds and let f:M→N be a smooth map. A vector field X on M and a vector field Y on N are said to be f-related if
This means that for every function
Suppose that X is f-related to Z and Y is f-related to W. Show that [X,Y] is f-related to [Z,W].