Vector space/Spanned linear subspace/Definition