 Vector subbundle

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