Axiom:Symmetry of Equidistance

Axiom
Let $a$ and $b$ be points.

Let $\equiv$ be the relation of equidistance.


 * $\forall a,b: ab \equiv ba$

Intuition
The length of a line segment is not dependent on which end you start measuring.