Nos interesa considerar la generalización del producto de dos elementos a un producto de una familia cualquiera de conjuntos.