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