„Reláció inverze” változatai közötti eltérés

Legyen <math>\rho</math> az <math>A \times A</math>-n értelmezett [[reláció]], ahol <math>A</math> tetszőleges nemüres halmaz. A <math>\rho</math> '''reláció inverzét''' -– ami szintén <math>A \times A</math>-n értelmezett és amit <math>\rho^\vee</math>-vel vagy <math>\rho^{-1}</math>-gyel szoktak jelölni -– a következő módon definiáljuk.