Finite-dimensional_vector_space

Definition

A vector_space is called finite-dimensional if some list of vectors in it spans the space.