Helly metric

In game theory, the Helly metric is used to assess the distance between two strategies. It is named for Eduard Helly.