Submersion

A smooth map f : M -> N between differentiable manifolds whose differential df_p is surjective at every point p in M; locally it behaves like a projection from a product, lowering dimension by producing full tangent images at the target points.