In mathematics, the dimension theorem for vector spaces states that all bases of a vector space have equally many elements. This number of elements may be finite or infinite, and defines the dimension of the vector space. Wikipedia