For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. is said to be finite-dimensional if the dimension of is finite, and infinite-dimensional if its dimension is infinite.