"A relation R on a set A is irreflexive if for each element x in A, x is not related to itself by R."@en . "A relation R on a set A is irreflexive if for each element x in A, x is not related to itself by R."@en . "Irreflexive"@en . .