::: So the whole of V x W is a basis where all elements (uncountably many) are all linearly independent by definition? That's to say the set V x W realy is an index set for the base vectors of the pre-factored vector space? If so, wouldn't it be clearer to start with the space Hom(VxW, R)?