"x" 或 "x" ∈ "D".一个域 "F" 的子环 "R" 被称作赋值环，若且唯若对每个 formula_1，必有 formula_2 或 formula_3。R被称作其分式域 "F赋值环"'或被称作在其分式域 "F的素点（位）若 "R" 是主理想域，此时 "R" 被称为离散赋值环。设k是一个有序的领域。 k的元素被称为有限的，如果它在于两个整数N <X <米;否则，它被称为无限。有限元素的K D是估值环。等元素x的x∈D和X-1∉D是无穷小元素的集合;一个元素x在X∉D和X-1∈D，被称为