值.在抽象的域上，我们用绝对值的基本性质来推广定义。一个域 formula_41 上的绝对值是一个函数 formula_42，满足以下四条公理:由以上公理可以导出 formula_43。距离函数 formula_44 赋予 formula_41度量空间结构。如果将定义中的三角不等式换作以下较强的形式（有时又叫做强三角不等式）其中 C 是积分常数。
演算法.C 语言关于绝对值的函数有： codice_1, codice_2, codice_3（在 C99 中），codi