在抽象代数中，赋值环是一个域里的一类特别子环，可由域上的某个赋值定义。离散赋值环是其中较容易操作的一类。
定义.赋值环是一个整环"D"，满足其分式域 "F"的任一非零元素"x"，至少有"x" 或 "x" ∈ "D".一个域 "F" 的子环 "R" 被称作赋值环，若且唯若对每个 formula_1，必有 formula_2 或 formula_3。R被称作其分式域 "F赋值环"'或被称作在其分式域 "F的素点（位）若 "R" 是主理想域，此时 "R" 被称为离散赋值环。设