In this lecture, I summarize the properties of Fⁿ and then abstract these properties to give the definition of a vector space over a field F. The material follows Sheldon Axler's "Linear Algebra Done Right", Chapter 1B.