\begin{definition}[Definition:Interval/Ordered Set]
Let $\struct {S, \preccurlyeq}$ be an ordered set.
Let $a, b \in S$.
The '''intervals between $a$ and $b$''' are defined as follows:
\end{definition}