\begin{definition}[Definition:Direct Product of Vector Spaces]
Let $K$ be a field.
Let $V, W$ be $K$-vector spaces.
The '''direct product of $V$ and $W$''' is their module direct product.
\end{definition}