Go backward to Comparability
Go up to Top
Go forward to Example
Definition: A partial order is a total order or linear order or chain if no elements are incomparable with respect to this order:
R is total order on S : <=> R is partial order on S /\ ~exists x in S, y in S: x and y are incomparable w.r.t. R.