Considérese la definición general del producto cartesiano: