Es sei V ⊆ A K n {\displaystyle {}V\subseteq {{\mathbb {A} }_{K}^{n}}} eine affin-algebraische Menge mit Verschwindungsideal Id ( V ) {\displaystyle {}\operatorname {Id} \,(V)} . Dann ist V {\displaystyle {}V} genau dann irreduzibel, wenn Id ( V ) {\displaystyle {}\operatorname {Id} \,(V)} ein Primideal ist.