Relacja symetryczna
Z Wikipedii
Relacja symetryczna to relacja, która jeśli zachodzi dla pary (x,y), to zachodzi też dla pary (y,x). Relację dwuczłonową 
nazywamy symetryczną, gdy:
.
W powyższej definicji można też zamienić implikację na równoważność. Jej znaczenie nie zmieni się.
Jeśli relacja jest równocześnie symetryczna i antysymetryczna, to dla wszystkich x,y z tego, że z 
wynika, że x = y, jest więc podzbiorem relacji równości.
.
[edytuj] Przykłady
- Relacja identyczności elementów zbioru jest symetryczna.
- Relacja równoległości prostych jest symetryczna.
- Relacja bycia rodzeństwem jest symetryczna.
- Relacja bycia miastem partnerskim jest symetryczna.
