Definition:Chain (Set Theory)

From ProofWiki
Jump to: navigation, search

Definition

Let $\left({S, \preceq}\right)$ 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.


Length

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


Also defined as

Some sources use the term chain to mean the same thing as totally ordered set. While this is perfectly valid, as there is no source of confusion here, such usage is surprisingly uncommon.


Sources