Für Ideale a ⊆ b {\displaystyle {}{\mathfrak {a}}\subseteq {\mathfrak {b}}} in K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]}
gilt V ( a ) ⊇ V ( b ) {\displaystyle {}V({\mathfrak {a}})\supseteq V({\mathfrak {b}})} für die zugehörigen Nullstellengebilde.
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96607693c80a38f197b1443eb366df0a6bbef1c3)
