Betweenness is an axiom.

x > (~) y => forall a in (0,1) x > (~) ax + (1-a)y > (~) y