Es sei V ⊆ A K n {\displaystyle {}V\subseteq {{\mathbb {A} }_{K}^{n}}} eine affin-algebraische Menge.
Dann gibt es eine eindeutige Zerlegung V = V 1 ∪ … ∪ V k {\displaystyle {}V=V_{1}\cup \ldots \cup V_{k}} 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} .
