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.