Fibered manifold

In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion

i.e. a surjective differentiable mapping such that at each point y ∈ E the tangent mapping

is surjective, or, equivalently, its rank equals dim B.