Relacja odwrotna

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

DefinicjaEdytuj

Niech   Wtedy relacją odwrotną do   nazywamy relację