Die
Reflexivität einer zweistelligen
Relation R auf einer
Menge ist gegeben, wenn
x R x für alle Elemente
x der Menge gilt (also jedes Element in Relation zu sich selbst steht). Man nennt
R dann
reflexiv. Die Relation heißt
irreflexiv, wenn die Beziehung
x R x für
kein Element
x der Menge gilt (also kein Element in Relation zu sich selbst steht).