Submersion

Let $M$ and $N$ be smooth manifolds with dimensions $m$ and $n$ respectively, and $F:M\to N$ a smooth map. It is called a submersion at a point $x\in M$ if the differential at $x$ is surjective. Equivalently, if ${\text{rank}}_x(F)=n=\dim (N)$.