tangent bundle
The tangent bundle is a vector bundle that contains all the tangent spaces of all the points in the manifold.
Definition
Or, if you like arbitrary unions,
Manifold structure
If is a smooth manifold with , then has a smooth manifold structure and has .