Esto es, si "S"={"p", "p", ..., "p"} es un conjunto de polinomios en "n" variables, el conjunto algebraico correspondiente a "S", denotado por "V"("S") se define como