First, the distance between x and y is defined as the absolute value |x − y|, where the absolute value |z| is defined as the maximum of z and −z, thus never negative.
Pertama-tama, jarak antara x dan y didefinisikan sebagai nilai mutlak |x − y| dengan nilai mutlak |z| didefinisikan sebagai nilai terbesar z dan −z, sehingga ia tidak pernah negatif.