Reflexivität
in der formalen Logik eine Eigenschaft der Relation: Eine Relation heißt genau dann reflexiv, wenn jedes Relationsglied die Relation R zu sich selbst hat (symbolsprachlich: ∀xF(x, x)). Bsp.: x ist aus dem gleichen Material wie y. Irreflexiv heißt eine Relation genau dann, wenn kein Gegenstand diese Relation R zu sich selbst hat (z.B. x ist nicht Vater von x, d.h. von sich selber); non-reflexiv ist eine Relation genau dann, wenn es wenigstens einen Gegenstand gibt, der nicht einer Relation R zu sich selber steht (z.B. x verachtet y).
PP