Dimension (vector space)/Definition

The number of elements in any basis for a vector space.