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