Affine Varietäten/Verschwindungsideal/Antimonotonie/Fakt

Seien ${}V\subseteq W\subseteq {{\mathbb {A} }_{K}^{n}}$ zwei Teilmengen.

Dann gilt für die zugehörigen Verschwindungsideale die Inklusion

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

Zum Beweis, Alternativen Beweis erstellen