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.
Example: