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