Relacja symetryczna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Relacja symetrycznarelacja, która jeśli zachodzi dla pary , to zachodzi też dla pary .

Relację dwuczłonową nazywa się 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 zachodzi:

i relacja taka jest wtedy podzbiorem relacji równości.

Przykłady[edytuj]

Zobacz też[edytuj]