Definition:Dimension of Vector Space/Definition 1

Definition
Let $K$ be a division ring.

Let $V$ be a vector space over $K$.

The dimension of $V$ is the number of vectors in a basis for $V$.

Also see

 * Size of Linearly Independent Subset is at Most Size of Finite Generator


 * Bases of Vector Space have Equal Cardinality