Finite-dimensional vector space