Reflexive Relation

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