أي مجموعة مزودة بتابع مسافة تدعى فضاء متريا metric space. هذه المترية أو دالة المسافة هي التي تخلق طوبولوجيا ضمن هذه المجموعة (أي أنها تحول هذه المجموعة إلى فضاء طوبولوجي), لكن العكس غير صحيح فليست كل طوبولوجيا يتم تشكيلها بوساطة مترية .
عندما تكون الطوبولوجيا قابلة للوصف بوساطة متري نقول أن هذا الفضاء قابل للقياس (مقيس) metrisable .
تعريف
المترية على المجموعة X دالة رياضية (تدعى أيضا دالة المسافة)
d : X × X → R
(حيث R مجموعة الأعداد الحقيقية). من أجل x, y, z ضمن X, يقتضي هذه الدالة تحقيق الشروط التالية :
^Smyth، M. (1987). "Quasi uniformities: reconciling domains with metric spaces". في M.Main؛ A.Melton؛ M.Mislove؛ D.Schmidt (المحررون). 3rd Conference on Mathematical Foundations of Programming Language Semantics. Springer-Verlag, Lecture Notes in Computer Science 298. ص. 236–253.
^Vitanyi، Paul M. B. (2011). "Information Distance in Multiples". IEEE Transactions on Information Theory. ج. 57 ع. 4: 2451. DOI:10.1109/TIT.2011.2110130.