productorio expr con i en a..b     donde i:Identificador,a:ZZ,b:ZZ,expr:Expresión

productorio expr con i₁,…,i_n en r₁,…,r_n     donde i_j:Identificador,r_j:Lista | Vector | Recorrido,expr:Expresión

productorio expr con i₁,…,i_n en r₁,…,r_n donde p     donde i_j:Identificador,r_j:Lista | Vector | Recorrido,expr:Expresión,expr:Expresión