For any set X < Pn , we let

For any set X, I(X)={F E k [ X1, X2,...,Xn+1 ] | every P E X is zero of  F },
I( X) is called the ideal of X.