What constitutes metric-preserving depends on the metric chosen and the associated function, in this case, the absolute value and addition, I.e. |x + (+inv(x))| are chosen. The metric-preserving functions form a preorder, the identity function being the join.