式环的形式幂级数环：映射formula_8 ，则可能得在formula_9中的多项式 "formula_10"的限制：逆映射也可能得到延拓（扩张）：若形式幂级数环不是多项式环产生的，则容易证明上面逆映射延拓是赋值，在几何上叫曲线（一维解析代数簇）的交点。如：