Axiom:Quasimetric Axioms

Definition
Let $A$ be a set.

Let $d: A \times A \to \R$ be a real-valued function.

$d$ is a quasimetric on the set $A$ $d$ satisfies the axioms:

These criteria are called the quasimetric axioms.

Note the numbering system of these axioms. They are numbered this way so as to retain consistency with the metric space axioms, of which these are a subset.

Also see

 * Definition:Quasimetric


 * Definition:Quasimetric Space