Vector space/Linear combination/Definition