An irreflexive, or anti-reflexive, relation is the opposite of a reflexive relation: it is a binary relation on a set where no element is related to itself.
An irreflexive, or anti-reflexive, relation is the opposite of a reflexive relation. It is a binary relation on a set where no element is related to itself.