Submersion

A map between two manifolds $f:M\mapsto N$ is a submersion at $p$ if $d{f}_p$ is surjective. In this case, $p$ is called a regular point.

Important result: canonical submersion theorem.

Related: regular value and preimage theorem.