\begin{definition}[Definition:Quasimetric/Quasimetric Space]
A '''quasimetric space''' $M = \struct {A, d}$ is an ordered pair consisting of a set $A \ne \O$ followed by a quasimetric $d: A \times A \to \R$ which acts on that set.
\end{definition}