\begin{definition}[Definition:Dimension of Vector Space/Finite]
Let $V$ be a vector space which is $n$-dimensional for some $n \in \N_{>0}$.
Then $V$ is '''finite dimensional'''.
The '''dimension''' of a '''finite-dimensional $K$-vector space''' $V$ is denoted $\map {\dim_K} V$, or just $\map \dim V$.
\end{definition}