\begin{definition}[Definition:Dimension of Vector Space/Definition 2]
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$.
\end{definition}