El "conjunto anulador de S" (o "locus anulador") es el conjunto V(S) de todos los puntos en formula_13 donde cada polinomio de S se anule.