Definition:Length of Chain

Definition

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$.