Irreflexive Binary Relation

Definition

Irreflexive Binary Relation

A binary relation $R\subseteq X\times X$ is irreflexive if no element relates to itself, i.e.,

$$\forall x\in X:\neg (xRx).$$