The dimension of a vector space V is the number of elements in a basis of V. This property is well-defined since all bases of a vector space have the same number of elements.