Entonces se tiene que un conjunto algebraico es una "irreducible" (o en algunos casos simplemente "variedad") si y sólo si los polinomios que lo definen generan un ideal primo del anillo de polinomios.