Donde X1..Xn represente una serie de variables de dominio y P es un predicado.