Definition:Length of Chain

From ProofWiki
Jump to: navigation, search

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