Affiner Raum/Zariski-Topologie/Zariski-Abschluss ist V zu Verschwindungsideal/Fakt

Sei ${}T\subseteq {{\mathbb {A} }_{K}^{n}}$ eine Teilmenge. Dann ist der Zariski-Abschluss von ${}T$ gleich

{}{\overline {T}}=V(\operatorname {Id} \,(T))\,.