El espacio vectorial libre "F" sobre "V" × "W" se define tomando el espacio vectorial en el cual los elementos de "V" × "W" son una base.