: 要得到乘积的符号，知道操作数的符号就足够了。对于某些其他运算，抽象可能丢失精度: 比如不可能知道操作数分别是正和负的求和的符号。有时精度的丢失对使语义成为可决定性的是必需的(参见Rice定理, 停机问题)。一般的说，在分析的精度和它的可决定性(可计算性)或可跟踪性(复杂性)之间要做出妥协。在实践中定义的抽象适合于想要分析的程序性质和目标程序的集合二者。
形式化.设 "L" 是叫做具体集合的有序集合，并设 "L"′是叫做抽象集合的另一个有序集合。通过定义映射一个的元素到另