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: