Axiom:Quasimetric Axioms

Definition
Let $A$ be a set.

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

$d$ satisfies the quasimetric axioms on the set $A$ $d$ satisfies the 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