Definition:Dimension of Vector Space/Finite

Definition
Let $V$ be a vector space which is $n$-dimensional for some $n \in \N_{>0}$.

Then $V$ is finite dimensional.