Suppose that $V$ is a vector space and $\set{\vectorlist{v}{t}}$ is a basis of $V$. Then the dimension of $V$ is defined by $\dimension{V}=t$. If $V$ has no finite bases, we say $V$ has infinite dimension.