| (1) | $X$ is a D11: Set |
| (2) | $d$ is a D58: Metric on $X$ |
| (3) | $\mathcal{T}_d$ is the D444: Metric topology on $X$ with respect to $d$ |
| (1) | $X$ is a D11: Set |
| (2) | $d$ is a D58: Metric on $X$ |
| (3) | $\mathcal{T}_d$ is the D444: Metric topology on $X$ with respect to $d$ |
| ▶ | Cauchy sequence |
| ▶ | Empty metric space |
| ▶ | Lipschitz map |
| ▶ | Set diameter |
| ▶ | Set distance |
| ▶ | Trivial metric space |
| ▶ | Reverse triangle inequality for metric |