A submersion is a smooth map 
when
 |
given that the differential, or Jacobian, is surjective at every 
in 
.
The basic example of a submersion is the canonical submersion 
of 
onto 
when 
,
 |
In fact, if 
is a submersion, then it is possible to find coordinates
around 
in 
and coordinates
around 
in 
such that 
is the canonical submersion written
in these coordinates. For example, consider the submersion
of 
onto the circle 
, given by 
.
