Metric space
Set
| context | X … set |
| definiendum | ⟨X,d⟩∈it |
| postulate | d … metric X |
We can reconstruct the set underlying a metric via dom(dom(d))=dom(X×X)=X, so the set of metrics and the set of metric spaces over X are in bijection.
Reference
Wikipedia: Metric space
Requirements*
Refinement of
Equivalent to
