previous up next
Go backward to Irreflexivity
Go up to Top
Go forward to Quasi Order from Partial Order
RISC-Linz logo

Quasi Order

Definition: A binary relation on S is a quasi order, if it is irreflexive and transitive:

R is quasi order on S : <=>
   R subset S x S /\ 
   R is irreflexive on S /\ 
   R is transitive on S.

Example: the following relation is not a quasi-order:

Author: Wolfgang Schreiner
Last Modification: January 18, 2000

previous up next