En el caso de una familia de conjuntos arbitraria (posiblemente infinita), la manera de definir el producto cartesiano consiste en cambiar el concepto de tupla por otro más cómodo.