Let the structure $\mathcal{M} = (\mathbb{R}, <)$ be the set of real numbers with the standard less-than relation. Which of the following binary relations $S(x, y)$ on $\mathbb{R}$ is definable by a first-order logic formula $\phi(x, y)$ in this structure?