El producto directo se define como sigue: