\begin{definition}[Definition:Length of Chain]
Let $\struct {S, \preceq}$ be an ordered set.
Let $T$ be a chain in $S$.
Let $T$ be finite and non-empty.
The '''length''' of the chain $T$ is its cardinality minus $1$.
Category:Definitions/Order Theory
\end{definition}