绝对值是运算法则吗