nonnegative-real-valued function on a ring satisfying the triangle inequality and submultiplicativity