Affine Varietäten/Verschwindungsideal/Antimonotonie/Fakt

Es seien  $V\subseteq W\subseteq {𝔸}_K^n$  Teilmengen.

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

$\mathrm{Id}(W)\subseteq \mathrm{Id}(V).$

Zum Beweis, Alternativen Beweis erstellen