A function for the measurement of the "distance" between two points in some metric space: it is a real-valuedfunction d(x,y) between points x and y satisfying the following properties: (1) "non-negativity": , (2) "identity of indiscernibles": , (3) "symmetry": , and (4) "triangle inequality": .