Definition:Pseudometric/Pseudometric Space

Definition
A pseudometric space $M = \left({A, d}\right)$ is an ordered pair consisting of a set $A \ne \varnothing$ followed by a pseudometric $d: A \times A \to \R$ which acts on that set.

Also see

 * Metric Space
 * Quasimetric Space