Sussmann's orbit theorem and maps
  A map between manifolds which matches up families of complete vector fields is a fiber bundle mapping on each orbit of those vector fields. 
Benjamin McKay (University College Cork)