Distance in Pseudometric is Non-Negative

Theorem
Let $X$ be a set on which a pseudometric $d: X \times X \to \R$ has been imposed.

Then:
 * $\forall x, y \in X: \map d {x, y} \ge 0$

Proof
By definition of pseudometric, we have that:

Hence: