Let \(F\colon M\to N\) be a smooth map between smooth manifolds. It is called smooth submersion if its differential is surjective in every point.
Remark
- If \(F\) is submersion, then it has constant rank , in particular \[ \rank F = \dim N \]