Sea formula_122 el producto cartesiano de los conjuntos H y K, es decir el conjunto formado por todos los pares ordenados (x,y) tales que x están H, y está en K.