Relacja odwrotna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Relacja odwrotna do pewnej relacji binarnej to relacja powstała przez zmianę kolejności jej argumentów.

Definicja[edytuj | edytuj kod]

Niech S\in A\times B. Wtedy relacją odwrotną do S nazywamy relację S^{-1}=\left\{(b,a)\in B\times A|\,(a,b)\,\in\,S\right\}.