Es seien V ⊆ W ⊆ A K n {\displaystyle {}V\subseteq W\subseteq \mathbb {A} _{K}^{n}} affin-algebraische Mengen.
Dann ist Id ( W ) ⊆ Id ( V ) {\displaystyle {}\operatorname {Id} (W)\subseteq \operatorname {Id} (V)} .
