正规赋值

正规赋值(canonical valuation)是由赋值建立赋值环的逆问题所决定的赋值。给定域F上的赋值环B，可建立F上的赋值φB，使得φB的赋值环为B，这样的φB称为B确定的正规赋值。