Wiki. “绝对值” [绝对值]

绝对值是到 $\mathbb{R}_{\geq 0}$ 的保持乘法的函数.

相关概念

赋值环