ordered metric

Мат. упорядоченная метрика

Источник: Полный англо-русский словарь на Gufo.me