Axiom:Points are Between Themselves

From ProofWiki
Jump to: navigation, search

Axiom

Let $\mathsf{B}$ be the relation of betweenness.

Let $=$ be the relation of equality.


Then the following axiom is imposed:

$\forall a,b: a = b \implies \mathsf{B}aba $

where $a$ and $b$ are points.


Intuition

If two points are the same, they are between themselves.


Sources