previous up next
Go backward to Comparability
Go up to Top
Go forward to Example
RISC-Linz logo

Total Order

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.


Author: Wolfgang Schreiner
Last Modification: January 18, 2000

previous up next