Go backward to Partial OrderGo up to TopGo forward to Quasi Order |

*Definition:* A binary relation is *irreflexive*, if no
element is related to itself:

Ris irreflexive onS: <=>forallxinS: <x,x> not inR.

*Example:* the following relation is *not* irreflexive:

Author: Wolfgang Schreiner

Last Modification: January 18, 2000