Axiom:Outer Connectivity of Betweenness

Axiom
Let $a,b,c,d$ be points.

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

Let $=$ be the relation of equality.

This axiom asserts that:


 * $\forall a,b,c,d: \left({\mathsf{B}abc \land \mathsf{B}abd \land \neg \left({a = b}\right) }\right) \implies \left({\mathsf{B}acd \lor \mathsf{B}adc}\right)$

Also see

 * Inner Connectivity of Betweenness