What part of the definition of a vector space (see [here](https://en.wikipedia.org/wiki/Vector_space#Definition)) requires it to be **closed** under addition and multiplication by a scalar in the field? I would understand if we defined a vector space as a group of vectors rather then a set but we don't, also non of the axioms require this to be a condition?