A Relation on a Set is irreflexive provided that no element is related to itself; in other words, for no in .