Definition Two vector fields are said to commute if the Lie bracket is zero, i.e. This is because Relation to flows Smooth vector fields commute if and only if their flows commute. Proof todo