A \emph{chain} is a partially ordered set C=⟨C,≤⟩ such that
≤ is a total order: x≤y or y≤x
Remark:
Let C and D be chains. A morphism from C to D is a function h:C→D that is a orderpreserving:
x≤y⟹h(x)≤h(y)
Example 1:
f(1)=1f(2)=1f(3)=1f(4)=1f(5)=1f(6)=1
Well-ordered chains
Dense linear orders
Trees