Assertion: metric space | /r/HasProperty | a function d
Facets:
Source sentences:
text: A metric space is a pair (X, d) where X is a set and d is a function d: X × X → [0, ∞), called a metric, that satisfies the following properties for all x, y, z in X: (a) d(x, y)