Fibered manifold

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 ${\displaystyle y\in U}$ the tangent mapping

is surjective, or, equivalently, its rank equals ${\displaystyle \dim B.}$