Definition:Direct Product of Vector Spaces

Definition
Let $K$ be a field.

Let $V, W$ be $K$-vector spaces.

The direct product of $V$ and $W$ is their module direct product.

Also see

 * Definition:Module Direct Product