 Absolute value on a field

An absolute value on a field is a nonnegative multiplicative function that vanishes only at zero and satisfies the triangle inequality.