What is the definition of a vector space <i> V </i> over a field <i>F </i>?