Дійснозначна функція на множині називається метрикою (або функцією відстані) на множині , якщо вона задовольняє наступні чотири аксіоми: {| |- |style="width:250px" | |невід'ємність |- | |тотожність нерозрізних |- | |симетричність |- | |нерівність трикутника |} Узагальнення Упорядковані кільця