previous up next
Go backward to Antisymmetry
Go up to Top
Go forward to Irreflexivity
RISC-Linz logo

Partial Order

Definition: A binary relation on S is a partial order, if it is reflexive, antisymmetric, and transitive:

R is partial order on S : <=>
   R subset S x S /\ 
   R is reflexive on S /\ 
   R is antisymmetric on S /\ 
   R is transitive on S.


Author: Wolfgang Schreiner
Last Modification: January 18, 2000

previous up next