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