In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. It is a basic concept in differential topology, dual to that of an immersion.