Infinite-dimensional_vector_space

Definition

A vector_space is called infinite-dimensional it is not finite-dimensional.