A semimetric on a set is a function which satisfies:
A semimetric differs from a metric in that the triangle inequality is not required to hold.