Finite-dimensional vector space

A vector space with a finite basis. The number of vectors in any basis is its dimension, which counts its independent directions.

Connect