y se lee: El producto de "A" con "B", es el conjunto de los pares ordenados ("x","y") tales que "x" pertenece a "A" e "y" pertenece a "B".