【资料图】

1、 正规赋值(canonical valuation)是由赋值建立赋值环的逆问题所决定的赋值。

2、给定域F上的赋值环B，可建立F上的赋值φB，使得φB的赋值环为B，这样的φB称为B确定的正规赋值。