Assertion: metric space | /r/HasProperty | set x
Facets:
value: with a function d
type: OTHER
Source sentences:
text: A metric space is a set X together with a function d (called a metric or "distance function") which assigns a real number d(x, y) to every pair x, y X satisfying the properties (or axioms):