$5$ Points

Real numbers $($represented by the set $R)$ have a property that any two distinct reals have some

real number in between the two $($for example, the numbers $1$ and $1\mathrm{.}5$ have the number $1\mathrm{.}2$

between them, along with many others$).$ Assert this fact $($the bolded statement$)$ as a logical

expression.

Comparison operators $,$etc.$)$ are always available to you. Do not assume you have any

other predicates available.