El producto cartesiano de formula_11 e formula_12 es el conjunto formula_61 definido por