\begin{definition}[Definition:Between]
Let $\struct {S, \preceq}$ be an ordered set.
Let $a, b, c \in S$ such that $a \preceq b$ and $b \preceq c$.
Then '''$b$ is between $a$ and $c$'''.
\end{definition}