metric

C18165 concept

A metric is a function that defines a distance between elements of a set, satisfying non-negativity, identity of indiscernibles, symmetry, and the triangle inequality.

Observed surface forms (6)

Instances (12)