definitionvector-spaces Definition A vector space V is said to be finite-dimensional if some (finite) list of vectors spans V. Examples