Affine Varietäten/Verschwindungsideal zu Teilmenge/Antimonotonie/Fakt

Es seien ${}V\subseteq W\subseteq \mathbb {A} _{K}^{n}$ affin-algebraische Mengen.

Dann ist ${}\operatorname {Id} (W)\subseteq \operatorname {Id} (V)$.

Zum Beweis, Alternativen Beweis erstellen