対応 "i" → "v"("i")は、多項式環のイデアルに対して代数的集合を対応させる対応であったが、逆にアフィン空間formula_1の部分集合 "s" が与えられたときに、