There are two definitions of a topological submersion :
Each point in has a neighbourhood such that is projection on the first factor. Sometimes is required to be a cartesian space , but this is a bit restrictive.
Each point of has a local section with and .
The second definition includes the first as a special case.