Symmetrie
In der formalen Logik heißt eine Relation R genau dann symmetrisch, wenn sie jedesmal sowohl einem geordneten Paar von Gegenständen wie dem umgekehrt geordneten, aus denselben Gegenständen bestehenden Paar zukommt: Eine zweistellige Relation R in einer Menge M, bei der für alle Elemente x, y aus M neben der Relation xRy stets zugleich auch yRx richtig ist; (symbolsprachlich: ∀x ∀y (F(x, y)⊃F(y, x)). z.B. besteht S. in der Relation »Geschwister von« oder in der Gleichheit x=y und der Gleichheit y=x, nicht aber in der (asymmetrischen) Relation »kleiner als«.
PP