Go backward to IrreflexivityGo up to TopGo forward to Quasi Order from Partial Order |

*Definition:*
A binary relation on `S` is a *quasi order*,
if it is irreflexive and transitive:

Ris quasi order onS: <=>RsubsetSxS/\Ris irreflexive onS/\Ris transitive onS.

*Example:* the following relation is *not* a quasi-order:

Author: Wolfgang Schreiner

Last Modification: January 18, 2000