\begin{definition}[Definition:Chain (Set Theory)]
Let $\struct {S, \preceq}$ be an ordered set.
A '''chain in $S$''' is a totally ordered subset of $S$.
Thus a totally ordered set is itself a '''chain''' in its own right.
\end{definition}