for M being non empty trivial MetrSpace
for a, b, c being Element of M holds a is_Between b,c