Es decir, formula_61 es el conjunto de todos los pares ordenados cuyo primer componente es un elemento de formula_11 y segundo componente un elemento de formula_12.