Go backward to Partial Order Go up to Top Go forward to Quasi Order |
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: