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 .