Definition:Dimension of Vector Space/Definition 2

Definition
Let $K$ be a division ring.

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

The dimension of $V$ is the maximum cardinality of a linearly independent subset of $V$.

Also see

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


 * Bases of Vector Space have Equal Cardinality