Vector Space

A real vector space is a set of vectors together with rulse for vector
addition and multiplication by real numbers.