Exercise 1, § 1

A positive real-valued function $f$ on $X \setminus X$ is a pseudometric on $X$ if and only if $f(x, x') = 0$ for all $x \in X$ and

for all $x, y, z$ in $X$.