Category:Definitions/Chains (Order Theory)

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to chains in the context of order theory.
Related results can be found in Category:Chains (Order 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.