Relacja odwrotna

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

Definicja

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\}.$