In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion that is, a surjective differentiable mapping such that at each point y ∈ U {\displaystyle y\in U} the tangent mapping is surjective, or, equivalently, its rank equals dim ⁡ B. Wikipedia