Oxford Linear Algebra: What is a Vector Space?