Vector subbundle (source code)

= Vector subbundle
{wiki}

A vector subbundle $F\subseteq E$ is a subset whose fibers are <vector subspace>[vector subspaces] $F_x\subseteq E_x$ of constant dimension and which admits local frames extending to local frames of $E$.