SiP(x1,…,xn) es una fórmula en variablesx1,…,xn, y para1≤i≤n,Ui es el universo dexi, entonces podemos pensar en\(\left(x_{1}, \...SiP(x1,…,xn) es una fórmula en variablesx1,…,xn, y para1≤i≤n,Ui es el universo dexi, entonces podemos pensar en(x1,…,xn) como una sola variable con universoU=∏1≤i≤nUi.