zhèng guī fù zhí · ㄓㄥˋ ㄍㄨㄟ ㄈㄨˋ ㄓˊ · 更新 2026-07-01 02:19:18
正规赋值(canonical valuation)是由赋值建立赋值环的逆问题所决定的赋值。给定域F上的赋值环B，可建立F上的赋值φB，使得φB的赋值环为B，这样的φB称为B确定的正规赋值。