## vector space

An additive group on which some (scalar) field has an associative multiplicative action which distributes over the addition of the vector space and respects the addition of the (scalar) field: for vectors u, v and scalars h, k; h(u+v) = hu + hv; (h+k)u = hu + ku; (hk)u = h(ku).

[Simple example?]