Es sei V ⊂ A K n {\displaystyle {}V\subset \mathbb {A} _{K}^{n}} eine affin-algebraische Menge. Dann gibt es eine eindeutige Zerlegung
mit irreduziblen Mengen V i {\displaystyle {}V_{i}} mit V i ⊈ V j {\displaystyle {}V_{i}\not \subseteq V_{j}} für i ≠ j {\displaystyle {}i\neq j} .