involutive system of vector fields