Ireflexivní relace

V matematice se binární relace R na množině X nazývá ireflexivní, právě když pro každé a z množiny X platí, že a není v relaci s a.

Formálně zapsáno:

:\forall a \in X,\ a \bar{R} a nebo \forall a \in X,\ \neg (a R a)

Příkladem ireflexivní relace je relace „je ostře větší než“ (