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


Definition: A binary relation is irreflexive, if no element is related to itself:

R is irreflexive on S : <=>
   forall x in S: <x, x> not  in R.

Example: the following relation is not irreflexive:

Author: Wolfgang Schreiner
Last Modification: January 18, 2000

previous up next