\begin{definition}[Definition:Ray (Order Theory)]
Let $\struct {S, \preccurlyeq}$ be a totally ordered set.
Let $\prec$ be the reflexive reduction of $\preccurlyeq$.
Let $a \in S$ be any point in $S$.
\end{definition}