Definition Irreflexive Binary Relation A binary relation is irreflexive if no element relates to itself, i.e.,