The tangent space \(T_p(M)\) is a vector space.

See also Link to heading