Eine Relation ist irreflexiv, wenn für alle X aus der Grundmenge gilt, dass das Paar (X X) nicht zur Relation gehört.