Vector spaces

The properties of vector spaces, including linear independence, basis, and dimension.