Der projektive Abschluss zu einer affinen Varietät V ( a ) ⊆ A K n ⊆ P K n {\displaystyle {}V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}\subseteq {\mathbb {P} }_{K}^{n}} .